research
∙
02/27/2021
Unrealizable Cores for Reactive Systems Specifications
One of the main challenges of reactive synthesis, an automated procedure...
share
research
∙
05/01/2020
Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games
ω-regular energy games, which are weighted two-player turn-based games w...
research
∙
04/14/2019
Spectra: A Specification Language for Reactive Systems
Spectra is a new specification language for reactive systems, specifical...
research
∙
11/29/2017
