IRIS

MOGAVERO, FABIO

MOGAVERO, FABIO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.027 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
Balanced Paths in Colored Graph 4.1 Articoli in Atti di convegno 2009 A., Bianco; Faella, Marco; Murano, Aniello; Mogavero, Fabio
Exploring the Boundary of Half Positionality 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Substructure Temporal Logic 4.1 Articoli in Atti di convegno 2013 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
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
Quantitatively Fair Scheduling 1.1 Articolo in rivista 2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Synthesis of Hierarchical Systems 4.1 Articoli in Atti di convegno 2012 Benjamin, Aminof; 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
Quantitative Fairness Games 1.1 Articolo in rivista 2010 A., Bianco; Faella, Marco; Mogavero, Fabio; Murano, Aniello
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