Scott C. Livingston

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