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
∙
01/18/2023
Computing Adequately Permissive Assumptions for Synthesis
We solve the problem of automatically computing a new class of environme...
research
∙
09/17/2021