The Reactive Synthesis Competition (SYNTCOMP) : 2018–2021
Source
International journal on software tools for technology transfer - ISSN 1433-2779- (2024) p. 1-17
Integer programming with GCD constraints
Source
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA)- () p. 3605-3658
Synthesizing efficiently monitorable formulas in metric temporal logic
Source
Lecture notes in computer science-14500 (2024) p. 264-288
Efficient algorithms for reachability in infinite state space systems
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2023,xii, 92 p.
Bi-objective lexicographic optimization in Markov decision processes with related objectives
Source
Lecture notes in computer science- () p. 203-223