Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Log. Methods Comput. Sci., 2025
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
Counterfactual Causality for Reachability and Safety based on Distance Functions.
Proceedings of the Fourteenth International Symposium on Games, 2023
Playing Stochastically in Weighted Timed Games to Emulate Memory.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
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
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