Reference author: Necmiye Ozay

Li, Y. ., Liu, J. ., & Ozay, N. . (2015). Computing finite abstractions with robustness margins via local reachable set over-approximation. Computing Finite Abstractions With Robustness Margins via Local Reachable Set over-Approximation. Presented at the. https://doi.org/10.1016/j.ifacol.2015.11.144

Liu, J. ., & Ozay, N. . (2016). Finite abstractions with robustness margins for temporal logic-based control synthesis. Nonlinear Analysis: Hybrid Systems, 22, 1\textendash15. https://doi.org/http://dx.doi.org/10.1016/j.nahs.2016.02.002

Nilsson, P. ., Ozay, N. ., & Liu, J. . (2017). Augmented finite transition systems as abstractions for control synthesis. Journal of Discrete Event Dynamic Systems, 27, 301\textendash340. https://doi.org/https://doi.org/10.1007/s10626-017-0243-z