Scholar
David Smith Sundarsingh
Google Scholar ID: fK_ULTYAAAAJ
PhD Student, Washington University in St.Louis
Formal Methods
Control Theory
Follow
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
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Yiannis Kantaros
Assistant Professor, Washington University in St. Louis
Adnane Saoud
University of California, Berkeley
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up