CESAR: Control envelope synthesis via angelic refinements

@INPROCEEDINGS{DBLP:conf/tacas/KabraLMP24,
	slides = {pub/CESAR-slides.pdf},

  author    = {Aditi Kabra and
               Jonathan Laurent and
               Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {{CESAR}: Control Envelope Synthesis via Angelic Refinements},
  booktitle = {TACAS},
  year      = {2024},
  pages     = {144--164},
  doi       = {10.1007/978-3-031-57246-3_9},
  editor    = {Bernd Finkbeiner and
               Laura Kov{\'{a}}cs},
  longbooktitle = {Tools and Algorithms for the Construction
               and Analysis of Systems. TACAS 2024},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {14570},
  isbn      = {978-3-031-57246-3},
}```