MOGAVERO, FABIO

MOGAVERO, FABIO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 49 (tempo di esecuzione: 0.024 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems 4.1 Articoli in Atti di convegno 2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
Solving Mean-Payoff Games via Quasi Dominions 2.1 Contributo in volume (Capitolo o Saggio) 2020 Benerecetti, M.; Dell'Erba, D.; Mogavero, F.
SHACL Satisfiability and Containment 2.1 Contributo in volume (Capitolo o Saggio) 2020 Pareti, P.; Konstantinidis, G.; Mogavero, F.; Norman, T. J.
Practical verification of multi-agent systems against Slk specifications 1.1 Articolo in rivista 2018 Cermak, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
First International Workshop on Strategic Reasoning, SR 2013 8.05 Partecip. Consigli Scientifici/Direttivi 2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Second International Workshop on Strategic Reasoning, SR 2014 8.05 Partecip. Consigli Scientifici/Direttivi 2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Robust worst cases for parity games algorithms 1.1 Articolo in rivista 2020 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Comparing rule based policies 2.1 Contributo in volume (Capitolo o Saggio) 2008 Bonatti, PIERO ANDREA; Mogavero, Fabio
Satisfiability in Strategy Logic can be Easier than Model Checking 2.1 Contributo in volume (Capitolo o Saggio) 2019 Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio
Reasoning about substructures and games 1.1 Articolo in rivista 2015 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Solving parity games via priority promotion 1.1 Articolo in rivista 2018 Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
Attacking Diophantus: Solving a Special Case of Bag Containment 2.1 Contributo in volume (Capitolo o Saggio) 2019 Konstantinidis, George; Mogavero, Fabio
On the decidability of linear bounded periodic cyber-physical systems 2.1 Contributo in volume (Capitolo o Saggio) 2019 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
A delayed promotion policy for parity games 1.1 Articolo in rivista 2018 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Cycle detection in computation tree logic 1.1 Articolo in rivista 2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Reasoning about graded strategy quantifiers 1.1 Articolo in rivista 2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Reasoning about strategies: On the satisfiability problem 1.1 Articolo in rivista 2017 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
A Delayed Promotion Policy for Parity Games 4.1 Articoli in Atti di convegno 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Improving Priority Promotion for Parity Games 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Cycle Detection in Computation Tree Logic 4.1 Articoli in Atti di convegno 2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana