Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications. - Tommaso Masciulli; Giordano Pola (Autom., 2021)

Data-driven controller synthesis for abstract systems with regular language specifications. - Giordano Pola; Tommaso Masciulli; Elena De Santis; Maria Domenica Di Benedetto (Autom., 2021)

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

Output Feedback Reachability of Controlled-Observable States for Nondeterministic Finite-State Systems. - Tommaso Masciulli; Giordano Pola; Elena De Santis; Maria Domenica Di Benedetto (IEEE Control. Syst. Lett., 2022)