Picture for Giuseppe Perelli

Giuseppe Perelli

Synthesis of Reward Machines for Multi-Agent Equilibrium Design (Full Version)

Add code
Aug 19, 2024
Viaarxiv icon

Optimal Alignment of Temporal Knowledge Bases

Add code
Jul 28, 2023
Viaarxiv icon

On the Complexity of Rational Verification

Add code
Jul 06, 2022
Figure 1 for On the Complexity of Rational Verification
Viaarxiv icon

Equilibrium Design for Concurrent Games

Add code
Jun 18, 2021
Figure 1 for Equilibrium Design for Concurrent Games
Viaarxiv icon

Multi-Player Games with LDL Goals over Finite Traces

Add code
Aug 13, 2020
Viaarxiv icon

Equilibria for Games with Combined Qualitative and Quantitative Objectives

Add code
Aug 13, 2020
Figure 1 for Equilibria for Games with Combined Qualitative and Quantitative Objectives
Viaarxiv icon

Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games

Add code
Aug 13, 2020
Figure 1 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 2 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 3 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 4 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Viaarxiv icon

A Computational Framework for Adaptive Systems and its Verification

Add code
Jun 26, 2019
Viaarxiv icon