◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

David Smith Sundarsingh

4 papers hereh-index 447 citations8 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • middle author1

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • eess.SY2
  • cs.CL1
  • cs.RO1

identity via Semantic Scholar / OpenAlex

activity
20232025
most citedConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

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…

eess.SY2023

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,…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.