Giuseppe Perelli

Available identifiers

zbMath Open perelli.giuseppeMaRDI QIDQ314470

List of research outcomes

Publication	Date of Publication	Type
On the complexity of rational verification	2023-08-21	Paper
Reasoning about Quality and Fuzziness of Strategic Behaviors	2023-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5875383	2023-02-03	Paper
Hierarchical cost-parity games	2023-02-03	Paper
Equilibria for games with combined qualitative and quantitative objectives	2021-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q5015276	2021-12-07	Paper
Multi-player games with LDL goals over finite traces	2021-02-08	Paper
Automated temporal equilibrium analysis: verification and synthesis of multi-player games	2020-11-16	Paper
Hierarchical cost-parity games	2020-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q5111630	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4972730	2019-11-26	Paper
Cycle detection in computation tree logic	2018-09-27	Paper
Imperfect information in reactive modules games	2018-06-14	Paper
Binding Forms in First-Order Logic	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q2980973	2017-05-08	Paper
Solving Parity Games Using an Automata-Based Algorithm	2016-11-09	Paper
Checking interval properties of computations	2016-10-21	Paper
Synthesis with rational environments	2016-09-16	Paper
Reasoning About Strategies	2015-09-17	Paper
On the Remarkable Features of Binding Forms	2014-04-05	Paper
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic	2012-09-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giuseppe Perelli