Giuseppe Perelli
Titel
Citeras av
Citeras av
År
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
1862014
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
552016
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
212018
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
172017
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, MJ Wooldridge
KR 15, 390-400, 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
112017
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
On computational tractability for rational verification
J Gutierrez, M Najib, G Perelli, M Wooldridge
University of Leicester, 2020
42020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20