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
Bi-objective lexicographic optimization in Markov decision processes with related objectives
Source
Lecture notes in computer science- () p. 203-223
Graph-based reductions for parametric and weighted MDPs
Source
Lecture notes in computer science- () p. 137-157
A framework for the competitive analysis of model predictive controllers
Source
Lecture notes in computer science- () p. 141-154