Giuseppe Perelli

According to our database1, Giuseppe Perelli authored at least 20 papers between 2012 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 





Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

EVE: A Tool for Temporal Equilibrium Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Reasoning about Strategies: on the Satisfiability Problem.
Logical Methods in Computer Science, 2017

Hierarchical Cost-Parity Games.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibrium and Bisimulation Invariance.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Iterated Games with LDL Goals over Finite Traces.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Cycle Detection in Computation Tree Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Checking interval properties of computations.
Acta Inf., 2016

Solving Parity Games Using an Automata-Based Algorithm.
Proceedings of the Implementation and Application of Automata, 2016

Imperfect Information in Reactive Modules Games.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Expressiveness and Nash Equilibrium in Iterated Boolean Games.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Rational Verification: From Model Checking to Equilibrium Checking.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Multi-agent Path Planning in Known Dynamic Environments.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Pushdown Multi-Agent System Verification.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Binding Forms in First-Order Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Reasoning About Strategies: On the Model-Checking Problem.
ACM Trans. Comput. Log., 2014

Checking Interval Properties of Computations.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Synthesis with Rational Environments.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012