1 citations · 1 across the 4 of their papers we have counts for
4 papers
Safe Planning in Unknown Environments Using Conformalized Semantic Maps
David Smith Sundarsingh, Yifei Li, Tianji Tang +3
This paper addresses semantic planning problems in unknown environments under perceptual uncertainty. The environment contains multiple unknown semantically labeled regions or obje…
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
David Smith Sundarsingh, Jun Wang, Jyotirmoy V. Deshmukh +1
Linear Temporal Logic (LTL) is a widely used task specification language for autonomous systems. To mitigate the significant manual effort and expertise required to define LTL-enco…
Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
David Smith Sundarsingh, Bhabani Shankar Dey, Pushpak Jagtap
Incremental stability of dynamical systems ensures the convergence of trajectories from different initial conditions towards each other rather than a fixed trajectory or equilibriu…
Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
David Smith Sundarsingh, Ratnangshu Das, Adnane Saoud +1
Because of the scalability issues associated with the symbolic controller synthesis approach, employing it in a multi-agent system (MAS) framework becomes difficult. In this paper,…