5 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
Aditi Kabra, Jonathan Laurent, Stefan Mitsch +1
This paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of safe controllers and are used to…