According to our database1, Giuseppe Perelli authored at least 20 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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