Cameron Finucane

According to our database, Cameron Finucane authored at least 10 papers between 2010 and 2015.

Collaborative distances:

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

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

Provably correct reactive control from natural language.

Constantine Lignos, Vasumathi Raman, Cameron Finucane, Mitchell P. Marcus, Hadas Kress-Gazit

Auton. Robots, 2015

2014

Open-world mission specification for reactive robots.

Spyros Maniatopoulos, Matthew Blair, Cameron Finucane, Hadas Kress-Gazit

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

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

Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

Provably-correct robot control with LTLMoP, OMPL and ROS.

Kai Weng Wong, Cameron Finucane, Hadas Kress-Gazit

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012

Temporal logic robot mission planning for slow and fast actions.

Vasumathi Raman, Cameron Finucane, Hadas Kress-Gazit

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Correct high-level robot control from structured English.

Gangyuan Jing, Cameron Finucane, Vasumathi Raman, Hadas Kress-Gazit

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

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

Proceedings of the International Conference on Human-Robot Interaction, 2012

2011

Designing Reactive Robot Controllers with LTLMoP.

Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit

Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010

LTLMoP: Experimenting with language, Temporal Logic and robot control.

Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010