Daniel Ajedamola Ajeleye, Tommaso Masciulli, Giordano Pola. Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications. In 30th Mediterranean Conference on Control and Automation, MED 2022, Vouliagmeni, Greece, June 28 - July 1, 2022. pages 1012-1017, IEEE, 2022. [doi]
Abstract is missing.