Author: "Antonio Di Stasio" / Journal: ijcai - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Antonio Di Stasio"' showing total 3 results

Start Over Author "Antonio Di Stasio" Journal ijcai

3 results on '"Antonio Di Stasio"'

1. Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.

Author: Giuseppe De Giacomo, Antonio Di Stasio 0001, Lucas M. Tabajara, Moshe Y. Vardi, and Shufang Zhu 0001
Published: 2021
Full Text: View/download PDF

2. Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

Author: Giuseppe De Giacomo, Antonio Di Stasio 0001, Francesco Fuggitti, and Sasha Rubin
Published: 2020
Full Text: View/download PDF

3. Imperfect-Information Games and Generalized Planning.

Author: Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, and Antonio Di Stasio 0001
Published: 2016

Catalog

Books, media, physical & digital resources

See catalog results