1. Synthesis of reactive (1) designs;Bloem;Journal of Computer and System Sciences,2012
2. Finite abstraction of mixed monotone systems with discrete and continuous inputs;Coogan;Nonlinear Analysis: Hybrid Systems,2017
3. Controller synthesis for safety and reachability via approximate bisimulation;Girard;Automatica,2012
4. Hashimoto, K., Saoud, A., Kishida, M., Ushio, T., and Di-marogonas, D. (2020). Learning-based safe symbolic abstractions for nonlinear control systems. arXiv preprint arXiv:2004.01879.