CESAR: Control Envelope Synthesis via Angelic Refinements.

Aditi Kabra, Jonathan Laurent, Stefan Mitsch, Andr Platzer

Browse the full TACAS paper archive.