89 followers
CESAR: Control Envelope Synthesis via Angelic Refinements: This paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of ... https://t.co/WhzWyQm3DI