Подписаться
Antonio Di Stasio
Antonio Di Stasio
Lecturer (Assistant Professor) in Computer Science
Подтвержден адрес электронной почты в домене city.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI 2020, 2020
512020
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
G De Giacomo, A Di Stasio, MY Vardi, S Zhu
KR 2020, 2020
252020
Imperfect-Information Games and Generalized Planning.
G De Giacomo, A Murano, S Rubin, A Di Stasio
IJCAI, 1037-1043, 2016
202016
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
G De Giacomo, A Di Stasio, LM Tabajara, M Vardi, S Zhu
192021
Solving parity games using an automata-based algorithm
A Di Stasio, A Murano, G Perelli, MY Vardi
International Conference on Implementation and Application of Automata, 64-76, 2016
192016
Solving parity games: Explicit vs symbolic
A Di Stasio, A Murano, MY Vardi
Implementation and Application of Automata: 23rd International Conference …, 2018
142018
Solving parity games in scala
A Di Stasio, A Murano, V Prignano, L Sorrentino
International Conference on Formal Aspects of Component Software, 145-161, 2014
132014
Compositional safety LTL synthesis
S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu
Working Conference on Verified Software: Theories, Tools, and Experiments, 1-19, 2022
122022
Synthesis with mandatory stop actions
G De Giacomo, A Di Stasio, G Perelli, S Zhu
Proceedings of the International Conference on Principles of Knowledge …, 2021
62021
A game theoretic approach to attack graphs
D Catta, A Di Stasio, J Leneutre, V Malvone, A Murano
ICAART 2023-15th International Conference on Agents and Artificial …, 2023
52023
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
52021
Dynamic escape game
A Di Stasio, V Malvone, PD Lambiase, A Murano
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2018
42018
Reasoning about LTL Synthesis over finite and infinite games.
A Di Stasio
University of Naples Federico II, Italy, 2018
22018
Finite-trace and generalized-reactivity specifications in temporal synthesis
G De Giacomo, A Di Stasio, LM Tabajara, MY Vardi, S Zhu
Formal Methods in System Design 61 (2), 139-163, 2022
12022
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic
B Greenman, S Prasad, A Di Stasio, S Zhu, G De Giacomo, ...
International Symposium on Formal Methods, 579-599, 2024
2024
LTL f Synthesis Under Environment Specifications for Reachability and Safety Properties
B Aminof, G De Giacomo, A Di Stasio, H Francon, S Rubin, S Zhu
European Conference on Multi-Agent Systems, 263-279, 2023
2023
Hugo Francon³ (), Sasha Rubin¹ (), and Shufang Zhu² (~) 1 Sapienza University of Rome, Rome, Italy benj@ forsyte. at 2 University of Oxford, Oxford, UK
B Aminof¹, G De Giacomo¹, A Di Stasio
Multi-Agent Systems: 20th European Conference, EUMAS 2023, Naples, Italy …, 2023
2023
LTLf Synthesis Under Environment Specifications.
A Di Stasio
ICTCS, 40-46, 2022
2022
Explicit and Symbolic Approaches for Parity Games
A Di Stasio
2022
LTLf Synthesis Under Environment Specifications (Short Paper)
A Di Stasio
ICTCS 2022, 2022
2022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20