Giuseppe Perelli
According to our database^{1},
Giuseppe Perelli
authored at least 20 papers
between 2012 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Synthesis of Controllable Nash Equilibria in Quantitative Objective Game.
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
EVE: A Tool for Temporal Equilibrium Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Reasoning about Strategies: on the Satisfiability Problem.
Logical Methods in Computer Science, 2017
Hierarchical CostParity Games.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Nash Equilibria in Concurrent Games with Lexicographic Preferences.
Proceedings of the TwentySixth 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
2016
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 AutomataBased 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
2015
Multiagent Path Planning in Known Dynamic Environments.
Proceedings of the PRIMA 2015: Principles and Practice of MultiAgent Systems, 2015
Pushdown MultiAgent System Verification.
Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence, 2015
Binding Forms in FirstOrder Logic.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015
2014
Reasoning About Strategies: On the ModelChecking 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 MultiAgent Systems  12th European Conference, 2014
2012
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
Proceedings of the CONCUR 2012  Concurrency Theory  23rd International Conference, 2012