Antonio Di Stasio | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Moshe Y. Vardi
39 publications
Giuseppe De Giacomo
27 publications
Aniello Murano
24 publications
Sasha Rubin
13 publications
Giuseppe Perelli
12 publications
Shufang Zhu
9 publications
Benjamin Aminof
4 publications
Hugo Francon
1 publication

research

∙ 08/29/2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

In this paper, we study LTLf synthesis under environment specifications ...

0 Benjamin Aminof, et al. ∙

research

∙ 10/30/2019

Solving Parity Games Using An Automata-Based Algorithm

Parity games are abstract infinite-round games that take an important ro...

0 Antonio Di Stasio, et al. ∙