Publications
Export 6 results:
[ Author
Filters: First Letter Of Last Name is F [Clear All Filters]
“Temporal logic motion planning for mobile robots”, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
, “Temporal logic motion planning for dynamic robots”, Automatica, vol. 45, pp. 343 - 352, 2009.
, “Hybrid Controllers for Path Planning: A Temporal Logic Approach”, in Proceedings of the 44th IEEE Conference on Decision and Control, 2005, pp. 4885 - 4890.
, “Temporal Logic Motion Planning for Dynamic Robots”. Dept. of CIS, Univ. of Pennsylvania, 2007.
, “LTLMoP: Experimenting with Language, Temporal Logic and Robot Control”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, 2010, pp. 1988 - 1993.
, “Designing Reactive Robot Controllers with LTLMoP”, in Automated Action Planning for Autonomous Mobile Robots, 2011.
,