LTLMoP: Experimenting with language, Temporal Logic and robot control. - Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit (IROS, 2010)

Designing Reactive Robot Controllers with LTLMoP. - Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit (Automated Action Planning for Autonomous Mobile Robots, 2011)

Situation understanding bot through language and environment. - Daniel J. Brooks; Constantine Lignos; Mikhail S. Medvedev; Ian Perera; Cameron Finucane; Vasumathi Raman; Abraham Shultz; Sean McSheehy; Adam Norton; Hadas Kress-Gazit; Mitchell P. Marcus; Holly A. Yanco (HRI, 2012)

Correct high-level robot control from structured English. - Gangyuan Jing; Cameron Finucane; Vasumathi Raman; Hadas Kress-Gazit (ICRA, 2012)

Temporal logic robot mission planning for slow and fast actions. - Vasumathi Raman; Cameron Finucane; Hadas Kress-Gazit (IROS, 2012)

Provably-correct robot control with LTLMoP, OMPL and ROS. - Kai Weng Wong; Cameron Finucane; Hadas Kress-Gazit (IROS, 2013)

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. - Vasumathi Raman; Constantine Lignos; Cameron Finucane; Kenton C. T. Lee; Mitchell P. Marcus; Hadas Kress-Gazit (Robotics: Science and Systems, 2013)

Open-world mission specification for reactive robots. - Spyros Maniatopoulos; Matthew Blair; Cameron Finucane; Hadas Kress-Gazit (ICRA, 2014)

Provably correct reactive control from natural language. - Constantine Lignos; Vasumathi Raman; Cameron Finucane; Mitchell P. Marcus; Hadas Kress-Gazit (Auton. Robots, 2015)

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. - Vasumathi Raman; Nir Piterman; Cameron Finucane; Hadas Kress-Gazit (IEEE Trans. Robotics, 2015)