Sumanth Dathathri: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| (6 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
|First name=Sumanth | |First name=Sumanth | ||
|Last name=Dathathri | |Last name=Dathathri | ||
|Current position= | |Current position=Alumni | ||
|Department=CMS | |Department=CMS | ||
| | |Previous projects=SRC TerraSwarm, NSF VeHICaL, DARPA ALES | ||
|Previous | |Graduated=2020/03/02 | ||
|Previous positions=PhD student | |||
|URL=https://dathath.github.io | |||
|Subsequent positions=Research Scientist, DeepMind (London) | |||
}} | }} | ||
Latest revision as of 06:08, 3 February 2024
| First name | Sumanth |
|---|---|
| Last name | Dathathri |
| Current position | Alumni |
| Department | CMS |
| Co-advisor | |
| Current project | |
| Other projects | |
| Previous projects | SRC TerraSwarm, NSF VeHICaL, DARPA ALES |
| Graduated | 2020/03/02 |
| Previous positions | PhD student |
| URL | https://dathath.github.io |
| Subsequent positions | Research Scientist, DeepMind (London) |
Papers:
- Counter-example Guided Learning of Bounds on Environment Behavior. Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray. 2019 Conference on Robot Learning (CoRL).
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation. Sumanth Dathathri, Sicun Gao, Richard M. Murray. To appear, 2019 AAAI Conference on Artificial Intelligence.
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. Sumanth Dathathri, Ioannis Filippidis and Richard M. Murray. 2019 International Symposium on Robotics Research (ISRR).
- Learning-Based Abstractions for Nonlinear Constraint Solving. Sumanth Dathathri, Nikos Arechiga, Sicun Gao, and Richard M. Murray. 2017 International Joint Conference on Artificial Intelligence (IJCAI).
- Fast Automatic Verification of Large-Scale Systems with Lookup Tables. Nikos Arichega, Sumanth Dathathri, Shashank Vernekar, Sicun Gao, Shin’Ichi Shiraishi, Richard M. Murray. Submitted, 2017 ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
- Enhancing tolerance to unexpected jumps in GR(1) games. Sumanth Dathathri, Scott C. Livingston and Richard M. Murray. 2017 Int'l Conference on Cyberphysical Systems (ICCPS).
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox. Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray. 2016 IEEE Conference on Control Applications (CCA).
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications. Sumanth Dathathri, Scott C. Livingston, Leonard J. Reder, and Richard M. Murray. IEEE Aerospace Conference, 2016.
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications. Sumanth Dathathri, Scott C. Livingston and Richard M. Murray. Submitted, 2016 Conference on Decision and Control (CDC).
