Sfoglia per Autore
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games
2021 D'Amore, L.; Murano, A.; Sorrentino, L.; Arcucci, R.; Laccetti, G.
Hierarchical cost-parity games
2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation
2020 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Model-checking graded computation-tree logic with finite path semantics
2020 Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L.
A Smart Compact Traffic Network Vision Based on Wave Representation
2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach
2019 Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S.
Graded CTL* over Finite Paths
2018 Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello
Results on Alternating-Time Temporal Logics with Linear Past
2018 Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana
Cycle detection in computation tree logic
2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Additional Winning Strategies in Reachability Games
2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Hiding actions in multi-player games
2017 Malvone, V.; Murano, A.; Sorrentino, L.
Hierarchical cost-parity games
2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm
2017 Arcucci, Rossella; Marotta, Umberto; Murano, Aniello; Sorrentino, Loredana
Reasoning about graded strategy quantifiers
2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Cycle Detection in Computation Tree Logic
2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
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
Hiding actions in concurrent games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Concurrent Multi-Player Parity Games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
A game-based model for human-robots interaction
2015 Murano, Aniello; Sorrentino, Loredana
Solving parity games in scala
2015 Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games | 1.1 Articolo in rivista | 2021 | D'Amore, L.; Murano, A.; Sorrentino, L.; Arcucci, R.; Laccetti, G. | |
Hierarchical cost-parity games | 1.1 Articolo in rivista | 2020 | Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. | |
Behavioral Clustering: A New Approach for Traffic Congestion Evaluation | 4.1 Articoli in Atti di convegno | 2020 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
Model-checking graded computation-tree logic with finite path semantics | 1.1 Articolo in rivista | 2020 | Murano, A.; Parente, M.; Rubin, S.; Sorrentino, L. | |
A Smart Compact Traffic Network Vision Based on Wave Representation | 4.1 Articoli in Atti di convegno | 2019 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
Network Signal Comparison Through Waves Parameters: A Local-Alignment-Based Approach | 4.1 Articoli in Atti di convegno | 2019 | Balzano, W.; Murano, A.; Sorrentino, L.; Stranieri, S. | |
Graded CTL* over Finite Paths | 4.1 Articoli in Atti di convegno | 2018 | Sorrentino, Loredana; Rubin, Sasha; Murano, Aniello | |
Results on Alternating-Time Temporal Logics with Linear Past | 4.1 Articoli in Atti di convegno | 2018 | Bozzelli, Laura; Murano, Aniello; Sorrentino, Loredana | |
Cycle detection in computation tree logic | 1.1 Articolo in rivista | 2018 | Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana | |
Additional Winning Strategies in Reachability Games | 1.1 Articolo in rivista | 2018 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
Hiding actions in multi-player games | 4.1 Articoli in Atti di convegno | 2017 | Malvone, V.; Murano, A.; Sorrentino, L. | |
Hierarchical cost-parity games | 4.1 Articoli in Atti di convegno | 2017 | Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana | |
Parallel Parity Games: A Multicore Attractor for the Zielonka Recursive Algorithm | 4.1 Articoli in Atti di convegno | 2017 | Arcucci, Rossella; Marotta, Umberto; Murano, Aniello; Sorrentino, Loredana | |
Reasoning about graded strategy quantifiers | 1.1 Articolo in rivista | 2017 | Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
Cycle Detection in Computation Tree Logic | 4.1 Articoli in Atti di convegno | 2016 | Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana | |
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 | |
Hiding actions in concurrent games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
Concurrent Multi-Player Parity Games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
A game-based model for human-robots interaction | 4.1 Articoli in Atti di convegno | 2015 | Murano, Aniello; Sorrentino, Loredana | |
Solving parity games in scala | 4.1 Articoli in Atti di convegno | 2015 | Di Stasio, Antonio; Murano, Aniello; Vincenzo, Prignano; Sorrentino, Loredana |
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