IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 63
Titolo Tipologia Data di pubblicazione Autore(i) File
A Behavioral Hierarchy of Strategy Logic 4.1 Articoli in Atti di convegno 2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
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
First International Workshop on Strategic Reasoning, SR 2013 7.1 Curatore o Editor di Libri Scientifici 2013 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
On the Boundary of Behavioral Strategies 4.1 Articoli in Atti di convegno 2013 Mogavero, F.; Murano, Aniello; Sauro, Luigi
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
On promptness in parity games 4.1 Articoli in Atti di convegno 2013 Mogavero, F.; Murano, A.; Sorrentino, L.
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
Synthesis of Hierarchical Systems 4.1 Articoli in Atti di convegno 2012 Benjamin, Aminof; Mogavero, Fabio; Murano, Aniello
Quantitatively Fair Scheduling 1.1 Articolo in rivista 2012 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Graded Computation Tree Logic 1.1 Articolo in rivista 2012 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Exploring the Boundary of Half Positionality 1.1 Articolo in rivista 2011 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Reasoning About Strategies 4.1 Articoli in Atti di convegno 2010 Mogavero, Fabio; Murano, Aniello; M. Y., Vardi
Relentful Strategic Reasoning in Alternating-Time Temporal Logic 4.1 Articoli in Atti di convegno 2010 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Graded Computation Tree Logic with Binary Coding 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Mogavero, Fabio; Murano, Aniello
Exploring the Boundary of Half Positionality 4.1 Articoli in Atti di convegno 2010 Bianco, Alessandro; Faella, Marco; Mogavero, Fabio; Murano, Aniello
Quantitative Fairness Games 4.1 Articoli in Atti di convegno 2010 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
Branching-Time Temporal Logics with Minimal Model Quantifiers 4.1 Articoli in Atti di convegno 2009 Mogavero, F.; Murano, Aniello
Mostrati risultati da 41 a 60 di 63
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