Control design for hybrid systems with TuLiP: The temporal logic planning toolbox I Filippidis, S Dathathri, SC Livingston, N Ozay, RM Murray Control Applications (CCA), 2016 IEEE Conference on, 1030-1041, 2016 | 82 | 2016 |
Backtracking temporal logic synthesis for uncertain environments SC Livingston, RM Murray, JW Burdick Robotics and Automation (ICRA), 2012 IEEE International Conference on, 5163-5170, 2012 | 70 | 2012 |
Patching task-level robot controllers based on a local μ-calculus formula SC Livingston, P Prabhakar, AB Jose, RM Murray Robotics and Automation (ICRA), 2013 IEEE International Conference on, 4588-4595, 2013 | 45 | 2013 |
Towards formal synthesis of reactive controllers for dexterous robotic manipulation S Chinchali, SC Livingston, U Topcu, JW Burdick, RM Murray Robotics and Automation (ICRA), 2012 IEEE International Conference on, 5183-5189, 2012 | 32 | 2012 |
Cross-entropy temporal logic motion planning SC Livingston, EM Wolff, RM Murray Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 27 | 2015 |
Signal Temporal Logic meets Reachability: Connections and Applications M Chen, Q Tam, SC Livingston, M Pavone | 22* | |
Just-in-time synthesis for reactive motion planning with temporal logic SC Livingston, RM Murray Robotics and Automation (ICRA), 2013 IEEE International Conference on, 5048-5053, 2013 | 20 | 2013 |
Multi-objective optimal control for proactive decision making with temporal logic models SP Chinchali, SC Livingston, M Chen, M Pavone The International Journal of Robotics Research 38 (12-13), 1490-1512, 2019 | 16 | 2019 |
Reinforcement learning in sensor-guided aibo robots N Birdwell, S Livingston, I Elhanany Univ. Tennesse, Knoxville, TN, USA, Tech. Rep, 2007 | 10 | 2007 |
Simultaneous model identification and task satisfaction in the presence of temporal logic constraints SP Chinchali, SC Livingston, M Pavone, JW Burdick Robotics and Automation (ICRA), 2016 IEEE International Conference on, 3682-3689, 2016 | 7 | 2016 |
Hot-swapping robot task goals in reactive formal synthesis SC Livingston, RM Murray Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, 101-107, 2014 | 7 | 2014 |
Enhancing tolerance to unexpected jumps in GR (1) games S Dathathri, SC Livingston, RM Murray Proceedings of the 8th International Conference on Cyber-Physical Systems, 37-47, 2017 | 5 | 2017 |
Decoupled formal synthesis for almost separable systems with temporal logic specifications SC Livingston, P Prabhakar Distributed Autonomous Robotic Systems, 371-385, 2016 | 5 | 2016 |
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications S Dathathri, SC Livingston, LJ Reder, RM Murray Aerospace Conference, 2016 IEEE, 1-10, 2016 | 4 | 2016 |
Incremental control synthesis for robotics in the presence of temporal logic specifications SC Livingston California Institute of Technology, 2016 | 3 | 2016 |
Obstacle avoidance and boundary following behavior of the echolocating Bat L Freyman, S Livingston Final Report, MERIT BIEN Program, Univ. of Maryland (see http://scottman …, 2008 | 3 | 2008 |
Signal temporal logic meets Hamilton-Jacobi reachability: Connections and applications M Chen, Q Tam, SC Livingston, M Pavone Workshop on Algorithmic Foundations of Robotics, 2018 | | 2018 |
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis SC Livingston, V Raman ARCH16. 3rd International Workshop on Applied Verification for Continuous …, 2017 | | 2017 |
Time-annotated game graphs for synthesis from abstracted systems SC Livingston Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 6797-6802, 2015 | | 2015 |
Multi-modal Person Tracking: Toward Implicit Communication for Peer-to-Peer Human-Robot Teams in Shared Workspaces SC Livingston | | 2009 |