From Murray WikiJump to navigationJump to search
|Previous projects||SRC TerraSwarm, NSF VeHICaL, DARPA ALES|
|Previous positions||PhD student|
- 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).