PERELLI, GIUSEPPE
PERELLI, GIUSEPPE
DIPARTIMENTO DI INFORMATICA
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
2020 Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
2022 Alechina, Natasha; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe
Binding forms in first-order logic
2015 Mogavero, F.; Perelli, G.
Checking interval properties of computations
2014 Montanari, A.; Murano, A.; Perelli, G.; Peron, A.
Checking interval properties of computations
2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Cycle detection in computation tree logic
2016 Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.
Cycle detection in computation tree logic
2018 Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.
Enforcing equilibria in multi-agent systems
2019 Perelli, G.
Equilibria for Games with Combined Qualitative and Quantitative Objects
2021 Gutierrez, Juilan; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael
Equilibrium design for concurrent games
2019 Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M.
EVE: A Tool for Temporal Equilibrium Analysis
2018 Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M.
Expressiveness and nash equilibrium in iterated boolean games
2016 Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M.
Expressiveness and Nash Equilibrium in Iterated Boolean Games
2021 Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
Giving Instructions in Linear Temporal Logic
2022 Gutierrez, Julian; Kraus, Sarit; Perelli, Giuseppe; Wooldridge, Michael
Hierarchical Cost-Parity Games
2020 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Hierarchical cost-parity games
2017 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
2021 DE GIACOMO, Giuseppe; Felli, Paolo; Montali, Marco; Perelli, Giuseppe
Imperfect information in reactive modules games
2016 Gutierrez, J.; Perelli, G.; Wooldridge, M.
Imperfect information in Reactive Modules games
2018 Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
Iterated games with LDL goals over finite traces
2017 Gutierrez, J.; Perelli, G.; Wooldridge, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games | 2020 | Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael | |
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems | 2022 | Alechina, Natasha; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe | |
Binding forms in first-order logic | 2015 | Mogavero, F.; Perelli, G. | |
Checking interval properties of computations | 2014 | Montanari, A.; Murano, A.; Perelli, G.; Peron, A. | |
Checking interval properties of computations | 2016 | Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano | |
Cycle detection in computation tree logic | 2016 | Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. | |
Cycle detection in computation tree logic | 2018 | Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. | |
Enforcing equilibria in multi-agent systems | 2019 | Perelli, G. | |
Equilibria for Games with Combined Qualitative and Quantitative Objects | 2021 | Gutierrez, Juilan; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael | |
Equilibrium design for concurrent games | 2019 | Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. | |
EVE: A Tool for Temporal Equilibrium Analysis | 2018 | Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. | |
Expressiveness and nash equilibrium in iterated boolean games | 2016 | Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M. | |
Expressiveness and Nash Equilibrium in Iterated Boolean Games | 2021 | Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael | |
Giving Instructions in Linear Temporal Logic | 2022 | Gutierrez, Julian; Kraus, Sarit; Perelli, Giuseppe; Wooldridge, Michael | |
Hierarchical Cost-Parity Games | 2020 | Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana | |
Hierarchical cost-parity games | 2017 | Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. | |
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs | 2021 | DE GIACOMO, Giuseppe; Felli, Paolo; Montali, Marco; Perelli, Giuseppe | |
Imperfect information in reactive modules games | 2016 | Gutierrez, J.; Perelli, G.; Wooldridge, M. | |
Imperfect information in Reactive Modules games | 2018 | Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael | |
Iterated games with LDL goals over finite traces | 2017 | Gutierrez, J.; Perelli, G.; Wooldridge, M. |