Sumanth Dathathri: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
|Last name=Dathathri | |Last name=Dathathri | ||
|Current position=PhD student | |Current position=PhD student | ||
|Department= | |Department=CMS | ||
|Current project=NSF VeHICaL | |Current project=NSF VeHICaL | ||
|Previous projects=SRC TerraSwarm, | |Previous projects=SRC TerraSwarm, | ||
}} | }} | ||
Revision as of 05:30, 2 January 2019
| First name | Sumanth |
|---|---|
| Last name | Dathathri |
| Current position | PhD student |
| Department | CMS |
| Co-advisor | |
| Current project | NSF VeHICaL |
| Other projects | |
| Previous projects | SRC TerraSwarm |
| Graduated | |
| Previous positions | |
| URL | |
| Subsequent positions |
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).
