2025
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Log. Methods Comput. Sci., 2025

2024
Synthesis of Robust Optimal Strategies in Weighted Timed Games.
CoRR, 2024

Synthesis of Robust Optimal Real-Time Systems.
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023
Counterfactual Causality for Reachability and Safety based on Distance Functions.
Proceedings of the Fourteenth International Symposium on Games, 2023

2021
Playing Stochastically in Weighted Timed Games to Emulate Memory.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020
Reaching Your Goal Optimally by Playing at Random.
CoRR, 2020

Reaching Your Goal Optimally by Playing at Random with No Memory.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019