research
∙
07/25/2023
Solving Odd-Fair Parity Games
This paper discusses the problem of efficiently solving parity games whe...
share
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...
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
∙
02/15/2022
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
We consider fixpoint algorithms for two-player games on graphs with ω-re...
research
∙
01/04/2021
Symbolic Control for Stochastic Systems via Parity Games
We consider the problem of computing the maximal probability of satisfyi...
research
∙
07/03/2020
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
We present a new algorithm to solve the supervisory control problem over...
research
∙
02/14/2019