On the Broad Implications of Reinforcement Learning based AGI. - Scott C. Livingston; Jamie Garvey; Itamar Elhanany (AGI, 2008)

Beyond the Turing Test. - Itamar Arel; Scott C. Livingston (Computer, 2009)

Towards formal synthesis of reactive controllers for dexterous robotic manipulation. - Sandeep Chinchali; Scott C. Livingston; Ufuk Topcu; Joel W. Burdick; Richard M. Murray (ICRA, 2012)

Backtracking temporal logic synthesis for uncertain environments. - Scott C. Livingston; Richard M. Murray; Joel W. Burdick (ICRA, 2012)

Just-in-time synthesis for reactive motion planning with temporal logic. - Scott C. Livingston; Richard M. Murray (ICRA, 2013)

Patching task-level robot controllers based on a local μ-calculus formula. - Scott C. Livingston; Pavithra Prabhakar; Alex B. Jose; Richard M. Murray (ICRA, 2013)

Hot-swapping robot task goals in reactive formal synthesis. - Scott C. Livingston; Richard M. Murray (CDC, 2014)

Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications. - Scott C. Livingston; Pavithra Prabhakar (DARS, 2014)

Time-annotated game graphs for synthesis from abstracted systems. - Scott C. Livingston (CDC, 2015)

Cross-entropy temporal logic motion planning. - Scott C. Livingston; Eric M. Wolff; Richard M. Murray (HSCC, 2015)

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. - Ioannis Filippidis; Sumanth Dathathri; Scott C. Livingston; Necmiye Ozay; Richard M. Murray (CCA, 2016)

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis. - Scott C. Livingston; Vasumathi Raman (ARCH@CPSWeek, 2016)

Simultaneous model identification and task satisfaction in the presence of temporal logic constraints. - Sandeep P. Chinchali; Scott C. Livingston; Marco Pavone 001; Joel W. Burdick (ICRA, 2016)

Enhancing tolerance to unexpected jumps in GR(1) games. - Sumanth Dathathri; Scott C. Livingston; Richard M. Murray (ICCPS, 2017)

Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models. - Sandeep P. Chinchali; Scott C. Livingston; Marco Pavone 001 (ISRR, 2017)

Signal Temporal Logic Meets Reachability: Connections and Applications. - Mo Chen 001; Qizhan Tam; Scott C. Livingston; Marco Pavone 001 (WAFR, 2018)

Multi-objective optimal control for proactive decision making with temporal logic models. - Sandeep P. Chinchali; Scott C. Livingston; Mo Chen 001; Marco Pavone 001 (Int. J. Robotics Res., 2019)

On-Line STEAM Outreach with Remote Robot Access. - Steven M. Hadfield; Scott C. Livingston; Justin Woo; Maya Slavin; Dominic Buraglio; Caden Kulp; Matthew Hageman; Caleb Richardson (SIGCSE, 2021)

A Framework for Remotely Sharing Experimental Environments. - Scott C. Livingston (IV, 2024)