research
∙
05/15/2023
On Strategies in Synthesis Over Finite Traces
The innovations in reactive synthesis from Linear Temporal Logics over f...
share
research
∙
05/01/2023
Multi-Agent Systems with Quantitative Satisficing Goals
In the study of reactive systems, qualitative properties are usually eas...
research
∙
06/06/2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare
Reinforcement learning has been shown to be an effective strategy for au...
research
∙
05/20/2022
Synthesis from Satisficing and Temporal Goals
Reactive synthesis from high-level specifications that combine hard cons...
research
∙
06/25/2021
Compositional Reinforcement Learning from Logical Specifications
We study the problem of learning control policies for complex tasks give...
research
∙
01/06/2021
On Satisficing in Quantitative Games
Several problems in planning and reactive synthesis can be reduced to th...
research
∙
11/19/2019
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
LTLf synthesis is the automated construction of a reactive system from a...
research
∙
11/10/2019
Synthesis of coordination programs from linear temporal logic
This paper presents a method for synthesizing a reactive program which c...
research
∙
12/17/2018
Comparator automata in quantitative verification
The notion of comparison between system runs is fundamental in formal ve...
research
∙
09/27/2018