research
∙
09/17/2019
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
A system with sporadic errors (SSE) is a controller which produces high ...
research
∙
05/27/2019
Specification and Reactive Synthesis of Robust Controllers
This paper investigates the synthesis of robust controllers from logical...
research
∙
03/10/2019
DCSYNTH: Guided Reactive Synthesis with Soft Requirements
In reactive controller synthesis, a number of implementations (controlle...
research
∙
03/10/2019
DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements
This paper proposes a technique for the synthesis of high quality contro...
research
∙
11/06/2017