Majumdar, R., Ozay, N., & Schmuck, A.-K. (2020). On Abstraction-Based Controller Design With Output Feedback. In HSCC2020 (pp. 1-11). New York, NY: ACM. doi:10.1145/3365365.3382219.