Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Dynamic Escape Game
2018 Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello
Solving Parity Games: Explicit vs Symbolic
2018 Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y.
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
Imperfect-Information Games and Generalized Planning
2016 De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio
Solving parity games using an automata-based algorithm
2016 Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
Solving parity games in scala
2015 Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Dynamic Escape Game | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello | |
Solving Parity Games: Explicit vs Symbolic | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Murano, Aniello; Vardi, Moshe Y. | |
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 | |
Imperfect-Information Games and Generalized Planning | 4.1 Articoli in Atti di convegno | 2016 | De Giacomo, Giuseppe; Murano, Aniello; Rubin, Sasha; Di Stasio, Antonio | |
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. | |
Solving parity games in scala | 4.1 Articoli in Atti di convegno | 2015 | Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile