Samarth Kalluraya

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 7

Top Topics

Mazurkiewicz Traces

Temporally Extended

Dynamic Task Allocation

Top Venues

IEEE Trans. Robotics

Publications

Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
Resilient Temporal Logic Planning in the Presence of Robot Failures. CDC (2023)
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
Multi-Robot Mission Planning in Dynamic Semantic Environments. ICRA (2023)
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
Resilient Temporal Logic Planning in the Presence of Robot Failures. CoRR (2023)
Jun Wang, Samarth Kalluraya, Yiannis Kantaros
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CDC (2022)
Samarth Kalluraya, George J. Pappas, Yiannis Kantaros
Multi-robot Mission Planning in Dynamic Semantic Environments. CoRR (2022)
Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps. IEEE Trans. Robotics 38 (4) (2022)
Jun Wang, Samarth Kalluraya, Yiannis Kantaros
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. CoRR (2022)