Cameron Finucane

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Topics

Provably Correct

Natural Language

Top Venues

IEEE Trans. Robotics

Publications

Vasumathi Raman, Nir Piterman, Cameron Finucane, Hadas Kress-Gazit
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control. IEEE Trans. Robotics 31 (3) (2015)
Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit
Provably correct reactive control from natural language. Auton. Robots 38 (1) (2015)
Spyros Maniatopoulos, Matthew Blair, Cameron Finucane, Hadas Kress-Gazit
Open-world mission specification for reactive robots. ICRA (2014)
Vasumathi Raman, Constantine Lignos, Cameron Finucane, Kenton C. T. Lee, Mitchell P. Marcus, Hadas Kress-Gazit
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language. Robotics: Science and Systems (2013)
Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit
Provably-correct robot control with LTLMoP, OMPL and ROS. IROS (2013)
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
Situation understanding bot through language and environment. HRI (2012)
Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit
Correct high-level robot control from structured English. ICRA (2012)
Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit
Temporal logic robot mission planning for slow and fast actions. IROS (2012)
Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
Designing Reactive Robot Controllers with LTLMoP. Automated Action Planning for Autonomous Mobile Robots (2011)
Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
LTLMoP: Experimenting with language, Temporal Logic and robot control. IROS (2010)