Quantitative Strategy Templates.
CoRR, April, 2025
Proceedings of the Foundations of Software Science and Computation Structures, 2025
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
J. Open Source Softw., January, 2024
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Learning and verifying temporal specifications for cyber-physical systems
PhD thesis, 2023
A Framework for the Competitive Analysis of Model Predictive Controllers.
Proceedings of the Reachability Problems - 17th International Conference, 2023
Parikh One-Counter Automata.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Revisiting Parameter Synthesis for One-Counter Automata.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic.
CoRR, 2021
Revisiting Synthesis for One-Counter Automata.
CoRR, 2020
Reachability Games with Relaxed Energy Constraints.
Proceedings of the Proceedings Tenth International Symposium on Games, 2019