research
∙
10/04/2022
Synthesizing Dominant Strategies for Liveness (Full Version)
Reactive synthesis automatically derives a strategy that satisfies a giv...
share
research
∙
05/12/2022
Reactive Synthesis of Smart Contract Control Flows
Smart contracts are small but highly error-prone programs that implement...
research
∙
06/28/2021
Compositional Synthesis of Modular Systems (Full Version)
Given the advances in reactive synthesis, it is a natural next step to c...
research
∙
04/30/2021
Temporal Stream Logic modulo Theories
Temporal Stream Logic (TSL) is a temporal logic that extends LTL with up...
research
∙
03/15/2021
Specification Decomposition for Reactive Synthesis (Full Version)
Reactive synthesis is the task of automatically deriving an implementati...
research
∙
12/15/2020
Verified Rust Monitors for Lola Specifications
The safety of cyber-physical systems rests on the correctness of their m...
research
∙
07/14/2020