PERELLI, GIUSEPPE
PERELLI, GIUSEPPE
DIPARTIMENTO DI MATEMATICA E APPLICAZIONI "RENATO CACCIOPPOLI"
Reasoning About Strategies: On the Model-Checking Problem
2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Solving parity games using an automata-based algorithm
2016 Di Stasio, Antonio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
2012 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; M. Y., Vardi
Cycle Detection in Computation Tree Logic
2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Hierarchical cost-parity games
2017 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Reasoning about strategies: On the satisfiability problem
2017 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
Nash equilibria in concurrent games with lexicographic preferences
2017 Gutierrez, Julian; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Wooldridge, Michael
Cycle detection in computation tree logic
2018 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Equilibria for games with combined qualitative and quantitative objectives
2021 Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Steeples, T.; Wooldridge, M.
Hierarchical cost-parity games
2020 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Reasoning about quality and fuzziness of strategic behaviours
2020 Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G.
Timed Trace Alignment with Metric Temporal Logic over Finite Traces
2021 De Giacomo, G.; Murano, A.; Patrizi, F.; Perelli, G.
| 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. |