David Smith Sundarsingh
Scholar

David Smith Sundarsingh

Google Scholar ID: fK_ULTYAAAAJ
PhD Student, Washington University in St.Louis
Formal MethodsControl Theory
Google Scholar↗
Citations & Impact
All-time
Citations
40
 
H-index
4
 
i10-index
1
 
Publications
9
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
2 items
Safe Planning in Unknown Environments using Conformalized Semantic Maps
2025
Cited
0
ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
2025
Cited
0
Resume (English only)
Co-authors
3 total
Pushpak Jagtap
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Yiannis Kantaros
Yiannis Kantaros
Assistant Professor, Washington University in St. Louis
Adnane Saoud
Adnane Saoud
University of California, Berkeley