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
Behavioral QLTL
2023 De Giacomo, G.; Perelli, G.
Binding forms in first-order logic
2015 Mogavero, F.; Perelli, G.
Checking interval properties of computations
2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Checking interval properties of computations
2014 Montanari, A.; Murano, A.; Perelli, G.; Peron, A.
Cycle detection in computation tree logic
2018 Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.
Cycle detection in computation tree logic
2016 Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
2024 Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
2024 Gutierrez, Julian; Hyland, David; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
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
2021 Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael
Expressiveness and nash equilibrium in iterated boolean games
2016 Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M.
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
| 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 | |
| Behavioral QLTL | 2023 | De Giacomo, G.; Perelli, G. | |
| Binding forms in first-order logic | 2015 | Mogavero, F.; Perelli, G. | |
| Checking interval properties of computations | 2016 | Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano | |
| Checking interval properties of computations | 2014 | Montanari, A.; Murano, A.; Perelli, G.; Peron, A. | |
| Cycle detection in computation tree logic | 2018 | Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. | |
| Cycle detection in computation tree logic | 2016 | Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. | |
| Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints | 2024 | Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael | |
| Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents | 2024 | Gutierrez, Julian; Hyland, David; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael | |
| 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 | 2021 | Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael | |
| Expressiveness and nash equilibrium in iterated boolean games | 2016 | Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M. | |
| 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 |