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
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
A framework for the competitive analysis of model predictive controllers
Bron
Lecture notes in computer science- () p. 141-154