Where's Waldo? Sensor-Based Temporal Logic Motion Planning 论文

2007Proceedings - IEEE International Conference on Robotics and Automation/Proceedings引用 222
DOI
Formal Methods in VerificationRobotic Path Planning AlgorithmsLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeRobotic Path Planning AlgorithmsFormal Methods in Verification
相关技术:Robotic Path Planning AlgorithmsFormal Methods in Verification
关系图谱

Where's Waldo? Sensor-Based Temporal Logic Motion Planning · 作者

G

George J. Pappas

G

Georgios Fainekos

H

Hadas Kress‐Gazit