MOGAVERO, FABIO
MOGAVERO, FABIO
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems
2021 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
Solving Mean-Payoff Games via Quasi Dominions
2020 Benerecetti, M.; Dell'Erba, D.; Mogavero, F.
SHACL Satisfiability and Containment
2020 Pareti, P.; Konstantinidis, G.; Mogavero, F.; Norman, T. J.
Practical verification of multi-agent systems against Slk specifications
2018 Cermak, Petr; Lomuscio, Alessio; Mogavero, Fabio; Murano, Aniello
First International Workshop on Strategic Reasoning, SR 2013
2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Second International Workshop on Strategic Reasoning, SR 2014
2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Robust worst cases for parity games algorithms
2020 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Comparing rule based policies
2008 Bonatti, PIERO ANDREA; Mogavero, Fabio
Satisfiability in Strategy Logic can be Easier than Model Checking
2019 Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio
Reasoning about substructures and games
2015 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Solving parity games via priority promotion
2018 Benerecetti, Massimo; Dell’Erba, Daniele; Mogavero, Fabio
Attacking Diophantus: Solving a Special Case of Bag Containment
2019 Konstantinidis, George; Mogavero, Fabio
On the decidability of linear bounded periodic cyber-physical systems
2019 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
A delayed promotion policy for parity games
2018 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Cycle detection in computation tree logic
2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Reasoning about graded strategy quantifiers
2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Reasoning about strategies: On the satisfiability problem
2017 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
A Delayed Promotion Policy for Parity Games
2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Improving Priority Promotion for Parity Games
2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Cycle Detection in Computation Tree Logic
2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
| 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 |