David Smith Sundarsingh

According to our database, David Smith Sundarsingh authored at least 8 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Safe Planning in Unknown Environments Using Conformalized Semantic Maps.

David Smith Sundarsingh, Yifei Li, Tianji Tang, George J. Pappas, Nikolay Atanasov, Yiannis Kantaros

IEEE Robotics Autom. Lett., April, 2026

2025

Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees.

P. Sangeerth, David Smith Sundarsingh, Bhabani Shankar Dey, Pushpak Jagtap

CoRR, October, 2025

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees.

Jun Wang, David Smith Sundarsingh, Jyotirmoy V. Deshmukh, Yiannis Kantaros

CoRR, April, 2025

2024

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems.

David Smith Sundarsingh, Bhabani Shankar Dey, Pushpak Jagtap

CoRR, 2024

Safe Multi-Robot Exploration using Symbolic Control.

Manas Sashank Juvvi, David Smith Sundarsingh, Ratnangshu Das, Pushpak Jagtap

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Controller Synthesis for Local and Global Specifications in Multi-Agent Systems.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

CoRR, 2023

Autonomous Exploration Using Ground Robots with Safety Guarantees.

David Smith Sundarsingh, Jay Bhagiya, Jeel Chatrola, Pushpak Jagtap

IROS, 2023

Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023