Browsing by Author "Giacomo Bergami"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Distribution DECLAREd: A Polytime LTLf FragmentGiacomo BergamiDataset DECLAREd: A Polytime LTLf Fragment(MDPI AG, 2024) Giacomo BergamiDistribution DECLAREd: A Polytime LTLf FragmentGiacomo Bergami