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 (CDC, 2023)

Autonomous Exploration Using Ground Robots with Safety Guarantees. - David Smith Sundarsingh; Jay Bhagiya; Jeel Chatrola; Pushpak Jagtap (IROS, 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)

Safe Multi-Robot Exploration using Symbolic Control. - Manas Sashank Juvvi; David Smith Sundarsingh; Ratnangshu Das; Pushpak Jagtap (ICRA, 2024)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems. - David Smith Sundarsingh; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2024)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees. - Jun Wang 135; David Smith Sundarsingh; Jyotirmoy V. Deshmukh; Yiannis Kantaros (CoRR, 2025)