Giuseppe Perelli
Giuseppe Perelli
Research Associate in at Sapienza University of Rome
Geverifieerd e-mailadres voor diag.uniroma1.it - Homepage
TitelGeciteerd doorJaar
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
1592014
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
85*2012
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016
582016
Rational verification: From model checking to equilibrium checking
M Wooldridge, J Gutierrez, P Harrenstein, E Marchioni, G Perelli, A Toumi
Thirtieth AAAI Conference on Artificial Intelligence, 2016
342016
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6-8), 587-619, 2016
322016
Reasoning about strategies: on the satisfiability problem
MY Vardi, G Perelli, A Murano, F Mogavero
Logical Methods in Computer Science 13, 2017
28*2017
Pushdown multi-agent system verification
A Murano, G Perelli
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
152015
Checking interval properties of computations
A Montanari, A Murano, G Perelli, A Peron
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
152014
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
132017
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
132016
Multi-agent path planning in known dynamic environments
A Murano, G Perelli, S Rubin
International conference on principles and practice of multi-agent systems …, 2015
132015
Solving parity games using an automata-based algorithm
A Di Stasio, A Murano, G Perelli, MY Vardi
International Conference on Implementation and Application of Automata, 64-76, 2016
122016
Imperfect information in Reactive Modules games
J Gutierrez, G Perelli, M Wooldridge
Information and Computation 261, 650-675, 2018
112018
Nash equilibrium and bisimulation invariance
J Gutierrez, P Harrenstein, G Perelli, M Wooldridge
arXiv preprint arXiv:1808.09213, 2018
92018
Iterated games with LDL goals over finite traces
J Gutierrez, G Perelli, M Wooldridge
International Foundation for Autonomous Agents and Multiagent Systems, 2017
92017
EVE: A Tool for Temporal Equilibrium Analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
82018
Binding forms in first-order logic
F Mogavero, G Perelli
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2015
8*2015
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
S Almagor, O Kupferman, G Perelli
IJCAI 18, 35-41, 2018
42018
Cycle detection in computation tree logic
G Fontaine, F Mogavero, A Murano, G Perelli, L Sorrentino
arXiv preprint arXiv:1609.04095, 2016
42016
On computational tractability for rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
Schloss Dagstuhl, 2019
22019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20