The artifact provides a benchmark suite for symbolic control envelope synthesis. It also provides scripts to build and run an implementation of the CESAR (Control Envelope Synthesis via Angelic Refinements) algorithm. This algorithm performs control envelope synthesis by filling in holes in a template. It is implemented as a tool in the theorem prover KeYmaera X.
This artifact is meant to run on the TACAS 2023 Virtual Machine (https://zenodo.org/records/7113223).