# Giuseppe Perelli

According to our database

^{1}, Giuseppe Perelli## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Reasoning about Strategies: on the Satisfiability Problem.

Logical Methods in Computer Science, 2017

2016

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

2015

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

2014

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

2012

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

2011

Reasoning About Strategies: On the Model-Checking Problem

CoRR, 2011