MOGAVERO, FABIO
MOGAVERO, FABIO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Exploring the Boundary of Half Positionality
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Balanced Paths in Colored Graph
2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Quantitative Fairness Games
2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Graded Computation Tree Logic with Binary Coding
2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Quantitatively Fair Scheduling
2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games
2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Synthesis of Hierarchical Systems
2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Substructure Temporal Logic
2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013
2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014
2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Reasoning About Strategies: On the Model-Checking Problem
2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Strategy Games: A Renewed Framework
2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
On Promptness in Parity Games
2013 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Branching-Time Temporal Logics with Minimal Model Quantifiers
2009 Mogavero, F.; Murano, Aniello
Special issue on SR 2013
2015 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Reasoning About Strategies
2010 Mogavero, Fabio; Murano, Aniello; M. Y., Vardi
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
2012 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; M. Y., Vardi
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
2014 Petr, Cermak; Alessio, Lomuscio; Mogavero, Fabio; Murano, Aniello
Graded Computation Tree Logic
2009 Bianco, A.; Mogavero, F.; Murano, Aniello
On the Boundary of Behavioral Strategies
2013 Mogavero, F.; Murano, Aniello; Sauro, Luigi
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Exploring the Boundary of Half Positionality | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Balanced Paths in Colored Graph | 4.1 Articoli in Atti di convegno | 2009 | A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio | |
Quantitative Fairness Games | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Graded Computation Tree Logic with Binary Coding | 4.1 Articoli in Atti di convegno | 2010 | Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello | |
Quantitatively Fair Scheduling | 1.1 Articolo in rivista | 2012 | Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Quantitative Fairness Games | 1.1 Articolo in rivista | 2010 | A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello | |
Synthesis of Hierarchical Systems | 4.1 Articoli in Atti di convegno | 2012 | Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello | |
Substructure Temporal Logic | 4.1 Articoli in Atti di convegno | 2013 | Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello | |
Proceedings of the 1st International Workshop on Strategic Reasoning, SR 2013 | 7.1 Curatore o Editor di Libri Scientifici | 2013 | Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi | |
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 | 7.1 Curatore o Editor di Libri Scientifici | 2014 | Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi | |
Reasoning About Strategies: On the Model-Checking Problem | 1.1 Articolo in rivista | 2014 | Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi | |
Strategy Games: A Renewed Framework | 4.1 Articoli in Atti di convegno | 2014 | Mogavero, Fabio; Murano, Aniello; Sauro, Luigi | |
On Promptness in Parity Games | 4.1 Articoli in Atti di convegno | 2013 | Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
Branching-Time Temporal Logics with Minimal Model Quantifiers | 4.1 Articoli in Atti di convegno | 2009 | Mogavero, F.; Murano, Aniello | |
Special issue on SR 2013 | 7.1 Curatore o Editor di Libri Scientifici | 2015 | Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi | |
Reasoning About Strategies | 4.1 Articoli in Atti di convegno | 2010 | Mogavero, Fabio; Murano, Aniello; M. Y., Vardi | |
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic | 4.1 Articoli in Atti di convegno | 2012 | Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; M. Y., Vardi | |
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications | 4.1 Articoli in Atti di convegno | 2014 | Petr, Cermak; Alessio, Lomuscio; Mogavero, Fabio; Murano, Aniello | |
Graded Computation Tree Logic | 4.1 Articoli in Atti di convegno | 2009 | Bianco, A.; Mogavero, F.; Murano, Aniello | |
On the Boundary of Behavioral Strategies | 4.1 Articoli in Atti di convegno | 2013 | Mogavero, F.; Murano, Aniello; Sauro, Luigi |