3 papers
cs.RO2026
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…
cs.CL2026
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…
eess.SY2024
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…