Antonio Di Stasio | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Compositional Safety LTL Synthesis	Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022	2022
Improving parity games in practice	ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE	2021
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis	IJCAI	2021
Synthesis with Mandatory Stop Actions	KR 2021	2021
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces	IJCAI	2020
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions	Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning	2020
Solving parity games: Explicit vs symbolic	Implementation and Application of Automata	2018
Dynamic escape game	Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS	2018
Imperfect-information games and generalized planning	Proceedings of the twenty-fifth international joint conference on artificial intelligence	2016
Solving parity games using an automata-based algorithm	Implementation and Application of Automata	2016
Solving Parity Games in Scala	Formal Aspects of Component Software	2015