PERELLI, GIUSEPPE

PERELLI, GIUSEPPE  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 47 (tempo di esecuzione: 0.031 secondi).
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.
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 2017 Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L.
Hierarchical Cost-Parity Games 2020 Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
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 2018 Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael
Imperfect information in reactive modules games 2016 Gutierrez, J.; Perelli, G.; Wooldridge, M.