Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. - Jun Wang 135; Samarth Kalluraya; Yiannis Kantaros (CDC, 2022)

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. - Yiannis Kantaros; Samarth Kalluraya; Qi Jin; George J. Pappas (IEEE Trans. Robotics, 2022)

Resilient Temporal Logic Planning in the Presence of Robot Failures. - Samarth Kalluraya; George J. Pappas; Yiannis Kantaros (CDC, 2023)

Multi-Robot Mission Planning in Dynamic Semantic Environments. - Samarth Kalluraya; George J. Pappas; Yiannis Kantaros (ICRA, 2023)

Reactive Planning for Teams of Heterogeneous Robots with Dynamic Collaborative Temporal Logic Missions. - Yuqing Zhang 006; Samarth Kalluraya; George J. Pappas; Yiannis Kantaros (CDC, 2024)

Minimum-Violation Temporal Logic Planning for Heterogeneous Robots under Robot Skill Failures. - Samarth Kalluraya; Beichen Zhou; Yiannis Kantaros (CoRR, 2024)