Folgen
Giuseppe Perelli
Titel
Zitiert von
Zitiert von
Jahr
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
2182014
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
902012
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 (6), 587-619, 2016
452016
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
442016
Reasoning about strategies: on the satisfiability problem
F Mogavero, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1611.08541, 2016
402016
Synthesis with rational environments
O Kupferman, G Perelli, MY Vardi
European Conference on Multi-Agent Systems, 219-235, 2014
342014
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
International Symposium on Automated Technology for Verification and …, 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
International conference on principles and practice of multi-agent systems …, 2015
212015
Checking interval properties of computations
A Montanari, A Murano, G Perelli, A Peron
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
182014
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
J Gutierrez, M Najib, G Perelli, M Wooldridge
Artificial Intelligence 287, 103353, 2020
172020
Solving parity games using an automata-based algorithm
AD Stasio, A Murano, G Perelli, MY Vardi
International Conference on Implementation and Application of Automata, 64-76, 2016
172016
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
142017
Imperfect information in reactive modules games
J Gutierrez, G Perelli, M Wooldridge
Fifteenth International Conference on the Principles of Knowledge …, 2016
142016
Binding forms in first-order logic
F Mogavero, G Perelli
Schloss Dagstuhl, 2015
132015
On computational tractability for rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
International Joint Conferences on Artificial Intelligence, 2019
122019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20