1. Dssynth: an automated digital controller synthesis tool for physical plants;Abate,2017
2. Sound and automated synthesis of digital stabilizing controllers for continuous plants;Abate,2017
3. Automated formal synthesis of digital controllers for state-space physical plants;Abate,2017
4. Optce: a counterexample-guided inductive optimization solver;Albuquerque,2017
5. Principles of Cyber-Physical Systems;Alur,2015