Sumanth Dathathri
From Murray Wiki
Jump to navigationJump to search
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).