Automated Dynamic Detection of Self-Hiding Behavior. - Luke Baird; Zhiyong Shan; Vinod Namboodiri (MASS Workshops, 2019)

Runtime Assurance from Signal Temporal Logic Safety Specifications. - Luke Baird; Samuel Coogan 001 (ACC, 2023)

Interval Signal Temporal Logic From Natural Inclusion Functions. - Luke Baird; Akash Harapanahalli; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2023)

Interval Signal Temporal Logic for Robust Optimal Control. - Luke Baird; Samuel Coogan 001 (CDC, 2024)

Feedback Linearization of an Underactuated Miniature Blimp With Zero Dynamics Mitigation Using High Order Control Barrier Functions. - Mihir Kasmalkar; Luke Baird; Samuel Coogan 001 (IEEE Control. Syst. Lett., 2024)