Giuseppe Perelli
Titel
Geciteerd door
Geciteerd door
Jaar
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
1882014
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
89*2012
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
Annals of Mathematics and Artificial Intelligence 78 (1), 3-20, 2016
562016
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
392016
Checking interval properties of computations
A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53 (6), 587-619, 2016
372016
Reasoning about strategies: on the satisfiability problem
F Mogavero, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1611.08541, 2016
352016
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
European Conference on Multi-Agent Systems, 219-235, 2014
332014
Imperfect information in Reactive Modules games
J Gutierrez, G Perelli, M Wooldridge
Information and Computation 261, 650-675, 2018
222018
EVE: A Tool for Temporal Equilibrium Analysis
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Symposium on Automated Technology for Verification and …, 2018
182018
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
182017
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
172015
Pushdown Multi-Agent System Verification.
A Murano, G Perelli
IJCAI 15, 1090-1097, 2015
172015
Checking interval properties of computations
A Montanari, A Murano, G Perelli, A Peron
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
172014
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
162016
Nash equilibrium and bisimulation invariance
J Gutierrez, P Harrenstein, G Perelli, M Wooldridge
arXiv preprint arXiv:1808.09213, 2018
152018
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
132016
Iterated games with LDL goals over finite traces
J Gutierrez, G Perelli, M Wooldridge
International Foundation for Autonomous Agents and Multiagent Systems, 2017
122017
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
S Almagor, O Kupferman, G Perelli
IJCAI 18, 35-41, 2018
102018
Binding forms in first-order logic
F Mogavero, G Perelli
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
102015
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
52020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20