research
∙
07/12/2023
Contract-Based Distributed Synthesis in Two-Objective Parity Games
We present a novel method to compute assume-guarantee contracts in non-z...
share
research
∙
05/23/2023
Synthesizing Permissive Winning Strategy Templates for Parity Games
We present a novel method to compute permissive winning strategies in tw...
research
∙
05/05/2023
Context-triggered Abstraction-based Control Design
We consider the problem of automatically synthesizing a hybrid controlle...
research
∙
01/18/2023
Computing Adequately Permissive Assumptions for Synthesis
We solve the problem of automatically computing a new class of environme...
research
∙
04/22/2022
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
While most of the current synthesis algorithms only focus on correctness...
research
∙
01/18/2022