PERELLI, GIUSEPPE

PERELLI, GIUSEPPE  

DIPARTIMENTO DI MATEMATICA E APPLICAZIONI "RENATO CACCIOPPOLI"  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.033 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Solving parity games using an automata-based algorithm 4.1 Articoli in Atti di convegno 2016 Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
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
Cycle Detection in Computation Tree Logic 4.1 Articoli in Atti di convegno 2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Hierarchical cost-parity games 4.1 Articoli in Atti di convegno 2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Reasoning about strategies: On the satisfiability problem 1.1 Articolo in rivista 2017 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
Nash equilibria in concurrent games with lexicographic preferences 4.1 Articoli in Atti di convegno 2017 Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Wooldridge, Michael
Cycle detection in computation tree logic 1.1 Articolo in rivista 2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino:, Loredana
Equilibria for games with combined qualitative and quantitative objectives 1.1 Articolo in rivista 2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
Hierarchical cost-parity games 1.1 Articolo in rivista 2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Reasoning about quality and fuzziness of strategic behaviours 4.1 Articoli in Atti di convegno 2020 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Timed Trace Alignment with Metric Temporal Logic over Finite Traces 4.1 Articoli in Atti di convegno 2021 De Giacomo, G.; Murano, A.; Patrizi, F.; Perelli, G.
Playing Quantitative Games Against an Authority: On the Module Checking Problem 4.1 Articoli in Atti di convegno 2024 Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe