DI STASIO, ANTONIO
DI STASIO, ANTONIO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Compositional Safety LTL Synthesis
2023 Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang
Dynamic escape game
2018 Di Stasio, A.; Malvone, V.; Lambiase, P. D.; Murano, A.
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
2021 DE GIACOMO, Giuseppe; DI STASIO, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang
Imperfect-information games and generalized planning
2016 DE GIACOMO, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio
Improving parity games in practice
2021 DI STASIO, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino., Loredana
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
2020 DE GIACOMO, Giuseppe; DI STASIO, Antonio; Fuggitti, Francesco; Rubin, Sasha
Solving Parity Games in Scala
2015 DI STASIO, ANTONIO; Aniello, Murano; Vincenzo, Prignano; Loredana, Sorrentino
Solving parity games using an automata-based algorithm
2016 Di Stasio, A.; Murano, A.; Perelli, G.; Vardi, M. Y.
Solving parity games: Explicit vs symbolic
2018 Di Stasio, A.; Murano, A.; Vardi, M. Y.
Synthesis with mandatory stop actions
2021 DE GIACOMO, Giuseppe; DI STASIO, Antonio; Perelli, Giuseppe; Zhu, Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
2020 De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Compositional Safety LTL Synthesis | 2023 | Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang | |
Dynamic escape game | 2018 | Di Stasio, A.; Malvone, V.; Lambiase, P. D.; Murano, A. | |
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis | 2021 | DE GIACOMO, Giuseppe; DI STASIO, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang | |
Imperfect-information games and generalized planning | 2016 | DE GIACOMO, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio | |
Improving parity games in practice | 2021 | DI STASIO, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino., Loredana | |
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces | 2020 | DE GIACOMO, Giuseppe; DI STASIO, Antonio; Fuggitti, Francesco; Rubin, Sasha | |
Solving Parity Games in Scala | 2015 | DI STASIO, ANTONIO; Aniello, Murano; Vincenzo, Prignano; Loredana, Sorrentino | |
Solving parity games using an automata-based algorithm | 2016 | Di Stasio, A.; Murano, A.; Perelli, G.; Vardi, M. Y. | |
Solving parity games: Explicit vs symbolic | 2018 | Di Stasio, A.; Murano, A.; Vardi, M. Y. | |
Synthesis with mandatory stop actions | 2021 | DE GIACOMO, Giuseppe; DI STASIO, Antonio; Perelli, Giuseppe; Zhu, Shufang | |
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions | 2020 | De Giacomo, Giuseppe; Di Stasio, Antonio; Vardi, Moshe; Zhu, Shufang |