Publications
[267] "On the Feasibility and Continuity of Feedback Controllers Defined by Multiple Control Barrier Functions for Constrained Differential Inclusions",
Proceedings of the American Control Conference, pp. 5160-5165, June, 2022.
267.pdf (305.21 KB)

[273] "Certifying the LTL Formula p Until q in Hybrid Systems",
IEEE Transactions on Automatic Control, vol. 68, no. 7, pp. 4451-4458, September, 2022.
273.pdf (290.84 KB)
