Giuseppe Perelli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the complexity of rational verification Annals of Mathematics and Artificial Intelligence	2023-08-21	Paper
Reasoning about Quality and Fuzziness of Strategic Behaviors ACM Transactions on Computational Logic	2023-07-18	Paper
scientific article; zbMATH DE number 7649930 (Why is no real title available?)	2023-02-03	Paper
Hierarchical cost-parity games 1515.68201	2023-02-03	Paper
Equilibria for games with combined qualitative and quantitative objectives Acta Informatica	2021-12-15	Paper
scientific article; zbMATH DE number 7439738 (Why is no real title available?)	2021-12-07	Paper
Multi-player games with LDL goals over finite traces Information and Computation	2021-02-08	Paper
Automated temporal equilibrium analysis: verification and synthesis of multi-player games Artificial Intelligence	2020-11-16	Paper
Hierarchical cost-parity games Theoretical Computer Science	2020-11-06	Paper
Nash equilibrium and bisimulation invariance	2020-05-27	Paper
scientific article; zbMATH DE number 7136658 (Why is no real title available?)	2019-11-26	Paper
Cycle detection in computation tree logic Information and Computation	2018-09-27	Paper
Imperfect information in reactive modules games Information and Computation	2018-06-14	Paper
Binding forms in first-order logic	2017-08-31	Paper
Reasoning about strategies: on the satisfiability problem	2017-05-08	Paper
Solving parity games using an automata-based algorithm Implementation and Application of Automata	2016-11-09	Paper
Checking interval properties of computations Acta Informatica	2016-10-21	Paper
Synthesis with rational environments Annals of Mathematics and Artificial Intelligence	2016-09-16	Paper
Reasoning about strategies: on the model-checking problem ACM Transactions on Computational Logic	2015-09-17	Paper
On the Remarkable Features of Binding Forms	2014-04-05	Paper
What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic Lecture Notes in Computer Science	2012-09-25	Paper

Research outcomes over time

This page was built for person: Giuseppe Perelli