Follow
Giuseppe Perelli
Title
Cited by
Cited by
Year
Reasoning about strategies: On the model-checking problem
F Mogavero, A Murano, G Perelli, MY Vardi
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-47, 2014
2242014
What makes ATL* decidable? a decidable fragment of strategy logic
F Mogavero, A Murano, G Perelli, MY Vardi
International Conference on Concurrency Theory, 193-208, 2012
912012
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016
662016
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53, 587-619, 2016
462016
Rational verification: From model checking to equilibrium checking
M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
452016
Reasoning about strategies: on the satisfiability problem
F Mogavero, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1611.08541, 2016
432016
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
European Conference on Multi-Agent Systems, 219-235, 2014
362014
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Information and Computation 261, 650-675, 2018
302018
EVE: A Tool for Temporal Equilibrium Analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
Automated Technology for Verification and Analysis: 16th International …, 2018
232018
Nash equilibria in concurrent games with lexicographic preferences
J Gutierrez, A Murano, G Perelli, S Rubin, M Wooldridge
Association for the Advancement of Artificial Intelligence, 2017
232017
Multi-agent path planning in known dynamic environments
A Murano, G Perelli, S Rubin
PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th …, 2015
212015
Solving parity games using an automata-based algorithm
A Di Stasio, A Murano, G Perelli, MY Vardi
Implementation and Application of Automata: 21st International Conference …, 2016
192016
Checking interval properties of computations
A Montanari, A Murano, G Perelli, A Peron
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
192014
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
182020
Pushdown multi-agent system verification
A Murano, G Perelli
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
172015
Nash equilibrium and bisimulation invariance
J Gutierrez, P Harrenstein, G Perelli, M Wooldridge
arXiv preprint arXiv:1808.09213, 2018
162018
Iterated games with LDL goals over finite traces
J Gutierrez, G Perelli, M Wooldridge
International Foundation for Autonomous Agents and Multiagent Systems, 2017
152017
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
142016
Reconfigurable interaction for MAS modelling
YA Alrahman, G Perelli, N Piterman
arXiv preprint arXiv:1906.10793, 2019
132019
Binding forms in first-order logic
F Mogavero, G Perelli
Schloss Dagstuhl, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20