research
∙
11/21/2022
Sensor Placement for Online Fault Diagnosis
Fault diagnosis is the problem of determining a set of faulty system com...
share
research
∙
09/17/2021
Adapting to the Behavior of Environments with Bounded Memory
We study the problem of synthesizing implementations from temporal logic...
research
∙
10/23/2019
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
A shield is attached to a system to guarantee safety by correcting the s...
research
∙
10/23/2019