Scott C. Livingston (SCL) – publications

refereed conference papers


  • SCL, E. M. Wolff, R. M. Murray, Cross-entropy Temporal Logic Motion Planning, in Proc. of Hybrid Systems: Computation and Control (HSCC), pp. 269–278, Apr 2015. [doi][pdf]

  • SCL, R. M. Murray, Hot-swapping robot task goals in reactive formal synthesis, in Proc. of IEEE Conf. on Decision and Control (CDC), pp. 101–107, Dec 2014. [CDS tech report]

  • SCL, P. Prabhakar, Decoupled formal synthesis for almost separable systems with temporal logic specifications, in Proc. of Int'l Symposium on Distributed Autonomous Robotic Systems (DARS), Nov 2014. [pdf]

  • SCL, P. Prabhakar, A. B. Jose, R. M. Murray, Patching task-level robot controllers based on a local μ-calculus formula, in Proc. of IEEE Int'l Conf. on Robotics and Automation (ICRA), pp. 4573–4580, May 2013. [pdf][original CDS tech report]

  • SCL, R. M. Murray, Just-in-time synthesis for reactive motion planning with temporal logic, in Proc. of IEEE Int'l Conf. on Robotics and Automation (ICRA), pp. 5033–5038, May 2013. [pdf]

  • SCL, R. M. Murray, J. W. Burdick, Backtracking temporal logic synthesis for uncertain environments, in Proc. of IEEE Int'l Conf. on Robotics and Automation (ICRA), pp. 5163–5170, May 2012. [pdf][code]

  • S. Chinchali, SCL, U. Topcu, R. M. Murray, J. W. Burdick, Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation, in Proc. of IEEE Int'l Conf. on Robotics and Automation (ICRA), pp. 5183–5189, May 2012. [pdf]

journal articles

  • I. Elhanany, C. Niedzwiedz, Z. Liu, SCL, Consolidated actor-critic model for partially-observable Markov decision processes, IET Electronics Letters, vol. 44, no. 22, pp. 1317-1318, 23 October 2008. [pdf]

unrefereed papers

  • I. Arel, SCL, Beyond the Turing Test, IEEE Computer magazine, vol. 42, no. 3, pp. 104-105, March 2009. [pdf]

  • SCL, J. Garvey, I. Elhanany, On the Broad Implications of Reinforcement Learning based AGI, AGI-08 Workshop on the Sociocultural, Ethical and Futurological Implications of Artificial General Intelligence, March 2008. [pdf]

unpublished reports, others

  • SCL, On estimation of temporal difference error with an exponential filter, August 2008. [pdf]

  • L. Freyman, SCL, Obstacle Avoidance and Boundary Following Behavior of the Echolocating Bat, advised by Drs. Timothy K. Horiuchi, P. S. Krishnaprasad and Cynthia F. Moss, MERIT BIEN undergraduate summer research project, University of Maryland, College Park, June-August 2008. [pdf]

  • N. Birdwell, SCL, Reinforcement Learning in Sensor-Guided AIBO Robots, advised by Dr. Itamar Elhanany, University of Tennesse, Knoxville, June-August 2007. [pdf]