| 2021 | SIGCSE | 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 |
| 2018 | WAFR | Signal Temporal Logic Meets Reachability: Connections and Applications. | Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone |
| 2017 | ISRR | Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models. | Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone |
| 2016 | ICRA | Simultaneous model identification and task satisfaction in the presence of temporal logic constraints. | Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone, Joel W. Burdick |
| 2013 | ICRA | Just-in-time synthesis for reactive motion planning with temporal logic. | Scott C. Livingston, Richard M. Murray |
| 2013 | ICRA | Patching task-level robot controllers based on a local μ-calculus formula. | Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray |
| 2012 | ICRA | Towards formal synthesis of reactive controllers for dexterous robotic manipulation. | Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray |
| 2012 | ICRA | Backtracking temporal logic synthesis for uncertain environments. | Scott C. Livingston, Richard M. Murray, Joel W. Burdick |