research
∙
07/28/2023
Optimal Alignment of Temporal Knowledge Bases
Answering temporal CQs over temporalized Description Logic knowledge bas...
share
research
∙
06/05/2023
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
In game theory, mechanism design is concerned with the design of incenti...
research
∙
07/06/2022
On the Complexity of Rational Verification
Rational verification refers to the problem of checking which temporal l...
research
∙
06/18/2021
Equilibrium Design for Concurrent Games
In game theory, mechanism design is concerned with the design of incenti...
research
∙
02/22/2021
Behavioral QLTL
In this paper we introduce Behavioral QLTL, which is a “behavioral” vari...
research
∙
08/13/2020
Multi-Player Games with LDL Goals over Finite Traces
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reaso...
research
∙
08/13/2020
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
research
∙
08/13/2020
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
In the context of multi-agent systems, the rational verification problem...
research
∙
10/30/2019
Solving Parity Games Using An Automata-Based Algorithm
Parity games are abstract infinite-round games that take an important ro...
research
∙
06/26/2019
A Computational Framework for Adaptive Systems and its Verification
Modern computer systems are inherently distributed and feature autonomou...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
08/28/2018