Di Stasio, Antonio
Di Stasio, Antonio
DIPARTIMENTO DI MATEMATICA E APPLICAZIONE "RENATO CACCIOPPOLI"
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 secondi).
Solving parity games in scala
2015 Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana
Solving parity games using an automata-based algorithm
2016 Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
Imperfect-Information Games and Generalized Planning
2016 De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II
2016 Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio
Solving Parity Games: Explicit vs Symbolic
2018 Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y.
Dynamic Escape Game
2018 Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Solving parity games in scala | 4.1 Articoli in Atti di convegno | 2015 | Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana | |
| Solving parity games using an automata-based algorithm | 4.1 Articoli in Atti di convegno | 2016 | Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. | |
| Imperfect-Information Games and Generalized Planning | 4.1 Articoli in Atti di convegno | 2016 | De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio | |
| Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2016 | Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio | |
| Solving Parity Games: Explicit vs Symbolic | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y. | |
| Dynamic Escape Game | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello |