Scott C. Livingston

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 9

Top Topics

Optimal Control

Motion Planning

Temporally Extended

Top Venues

Publications

Scott C. Livingston
A Framework for Remotely Sharing Experimental Environments. IV (2024)
Steven M. Hadfield, Scott C. Livingston, Justin Woo, Maya Slavin, Dominic Buraglio, Caden Kulp, Matthew Hageman, Caleb Richardson
On-Line STEAM Outreach with Remote Robot Access. SIGCSE (2021)
Sandeep P. Chinchali, Scott C. Livingston, Mo Chen, Marco Pavone
Multi-objective optimal control for proactive decision making with temporal logic models. Int. J. Robotics Res. 38 (12-13) (2019)
Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone
Signal Temporal Logic Meets Reachability: Connections and Applications. WAFR (2018)
Sumanth Dathathri, Scott C. Livingston, Richard M. Murray
Enhancing tolerance to unexpected jumps in GR(1) games. ICCPS (2017)
Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone
Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models. ISRR (2017)
Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA (2016)
Scott C. Livingston, Vasumathi Raman
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. ARCH@CPSWeek (2016)
Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone, Joel W. Burdick
Simultaneous model identification and task satisfaction in the presence of temporal logic constraints. ICRA (2016)
Scott C. Livingston, Eric M. Wolff, Richard M. Murray
Cross-entropy temporal logic motion planning. HSCC (2015)
Scott C. Livingston
Time-annotated game graphs for synthesis from abstracted systems. CDC (2015)
Scott C. Livingston, Pavithra Prabhakar
Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. DARS (2014)
Scott C. Livingston, Richard M. Murray
Hot-swapping robot task goals in reactive formal synthesis. CDC (2014)
Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray
Patching task-level robot controllers based on a local μ-calculus formula. ICRA (2013)
Scott C. Livingston, Richard M. Murray
Just-in-time synthesis for reactive motion planning with temporal logic. ICRA (2013)
Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray
Towards formal synthesis of reactive controllers for dexterous robotic manipulation. ICRA (2012)
Scott C. Livingston, Richard M. Murray, Joel W. Burdick
Backtracking temporal logic synthesis for uncertain environments. ICRA (2012)
Itamar Arel, Scott C. Livingston
Beyond the Turing Test. Computer 42 (3) (2009)
Scott C. Livingston, Jamie Garvey, Itamar Elhanany
On the Broad Implications of Reinforcement Learning based AGI. AGI (2008)