research
∙
05/25/2023
Solving Infinite-State Games via Acceleration
Two-player graph games have found numerous applications, most notably th...
share
research
∙
01/24/2023
Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)
Automatic synthesis from temporal logic specifications is an attractive ...
research
∙
04/30/2021
Temporal Stream Logic modulo Theories
Temporal Stream Logic (TSL) is a temporal logic that extends LTL with up...
research
∙
01/18/2021