CESAR: Control envelope synthesis via angelic refinements

@inproceedings{DBLP:conf/tacas/KabraLMP24,
	slides = {pub/CESAR-slides.pdf},
	author = {['Aditi Kabra', 'Jonathan Laurent', 'Stefan Mitsch', 'André 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', 'Laura Ková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}
}