Integer programming with GCD constraints
Bron
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA)- () p. 3605-3658
Synthesizing efficiently monitorable formulas in metric temporal logic
Bron
Lecture notes in computer science-14500 (2024) p. 264-288
Efficient algorithms for reachability in infinite state space systems
Bron
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
Bron
Lecture notes in computer science- () p. 203-223
Graph-based reductions for parametric and weighted MDPs
Bron
Lecture notes in computer science- () p. 137-157