Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications. - Daniel Ajedamola Ajeleye; Tommaso Masciulli; Giordano Pola (MED, 2022)