Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. - Daniel Ajeleye; Abolfazl Lavaei; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach. - Daniel Ajeleye; Majid Zamani 001 (CoRR, 2024)

On-the-Go Path Planning and Repair in Static and Dynamic Scenarios. - Daniel Ajeleye (CoRR, 2024)

Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees. - Daniel Ajeleye; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Co-Büchi Control Barrier Certificates for Stochastic Control Systems. - Daniel Ajeleye; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)