Efficient Strategy Synthesis for MDPs With Resource Constraints.
IEEE Trans. Autom. Control., August, 2023
Word Equations in Synergy with Regular Constraints.
Proceedings of the Formal Methods - 25th International Symposium, 2023
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.
IEEE Trans. Control. Netw. Syst., 2022
Word Equations in Synergy with Regular Constraints (Technical Report).
CoRR, 2022
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning.
CoRR, 2021
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.
Proceedings of the Formal Methods - 24th International Symposium, 2021
LTL to self-loop alternating automata with generic acceptance and back.
Theor. Comput. Sci., 2020
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
LTL to Smaller Self-Loop Alternating Automata and Back.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2019
Generic Emptiness Check for Fun and Profit.
Proceedings of the Automated Technology for Verification and Analysis, 2019
Seminator: A Tool for Semi-Determinization of Omega-Automata.
Proceedings of the LPAR-21, 2017
Complementing Semi-deterministic Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
On Refinement of Büchi Automata for Explicit Model Checking.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015
The Hanoi Omega-Automata Format.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Is there a best büchi automaton for explicit model checking?
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
Comparison of LTL to Deterministic Rabin Automata Translators.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F, G)-Fragment.
Proceedings of the Automated Technology for Verification and Analysis, 2013