David Smith Sundarsingh

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

Collaborative distances:

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

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