Giuseppe Perelli

According to our database1, Giuseppe Perelli
  • authored at least 21 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




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

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

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

Checking Interval Properties of Computations.
CoRR, 2016

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

Synthesis with rational environments.
Ann. Math. Artif. Intell., 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

On the Remarkable Features of Binding Forms.
CoRR, 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

A Decidable Fragment of Strategy Logic
CoRR, 2012

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

Reasoning About Strategies: On the Model-Checking Problem
CoRR, 2011