Correct high-level robot control from structured English

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2012, Pages 3543-3544

  Jing, Gangyuan ^a   Finucane, Cameron ^a   Raman, Vasumathi ^a   Kress Gazit, Hadas ^a  

^a Cornell University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANTHROPOMORPHIC ROBOTS; CONTROLLERS;

CORRECT-BY-CONSTRUCTION; GROCERY STORES; HUMANOID ROBOT; LINEAR TEMPORAL LOGIC; MISSION PLANNING; PHYSICAL ROBOTS; ROBOT CONTROLS; TASK SPECIFICATIONS;

ROBOT PROGRAMMING;

EID: 84864462113     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRA.2012.6225161     Document Type: Conference Paper

References (3)

1. C. Finucane, G. Jing, and H. Kress-Gazit, "LTLMoP: Experimenting with language, temporal logic and robot control," in IROS, 2010.
2. H. Kress-Gazit, G. E. Fainekos, and G. J. Pappas, "Temporal-logic- based reactive mission and motion planning," IEEE Transactions on Robotics, vol. 25, no. 6, pp. 1370-1381, 2009.
3. V. Raman and H. Kress-Gazit, "Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP," in CAV, ser. Lecture Notes in Computer Science, G. Gopalakrishnan and S. Qadeer, Eds., vol. 6806. Springer, 2011, pp. 663-668.