Scott C. Livingston

According to our database, Scott C. Livingston authored at least 18 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2019

Multi-objective optimal control for proactive decision making with temporal logic models.

Sandeep P. Chinchali, Scott C. Livingston, Mo Chen, Marco Pavone

Int. J. Robotics Res., 2019

2018

Signal Temporal Logic Meets Reachability: Connections and Applications.

Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone

Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

2017

Multi-objective Optimal Control for Proactive Decision Making with Temporal Logic Models.

Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Enhancing tolerance to unexpected jumps in GR(1) games.

Sumanth Dathathri, Scott C. Livingston, Richard M. Murray

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

2016

Simultaneous model identification and task satisfaction in the presence of temporal logic constraints.

Sandeep P. Chinchali, Scott C. Livingston, Marco Pavone, Joel W. Burdick

Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis.

Scott C. Livingston, Vasumathi Raman

Proceedings of the ARCH@CPSWeek 2016, 2016

Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox.

Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Cross-entropy temporal logic motion planning.

Scott C. Livingston, Eric M. Wolff, Richard M. Murray

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Time-annotated game graphs for synthesis from abstracted systems.

Scott C. Livingston

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications.

Scott C. Livingston, Pavithra Prabhakar

Proceedings of the Distributed Autonomous Robotic Systems, 2014

Hot-swapping robot task goals in reactive formal synthesis.

Scott C. Livingston, Richard M. Murray

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Patching task-level robot controllers based on a local μ-calculus formula.

Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Just-in-time synthesis for reactive motion planning with temporal logic.

Scott C. Livingston, Richard M. Murray

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012

Backtracking temporal logic synthesis for uncertain environments.

Scott C. Livingston, Richard M. Murray, Joel W. Burdick

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Towards formal synthesis of reactive controllers for dexterous robotic manipulation.

Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

2009

Beyond the Turing Test.

Itamar Arel, Scott C. Livingston

Computer, 2009

2008

On the Broad Implications of Reinforcement Learning based AGI.

Scott C. Livingston, Jamie Garvey, Itamar Elhanany

Proceedings of the Artificial General Intelligence 2008, 2008