Reachability for Multi-Priced Timed Automata with Positive and Negative Rates.
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025
On Transcendence of Numbers Related to Sturmian and Arnoux-Rauzy Words.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024