Publications

Export 1 results:
Author [ Keyword(Desc)] Title Type Year
Filters: First Letter Of Keyword is L  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Linear Temporal Logic (LTL)
K. Weng Wong and Kress-Gazit, H., From High-Level Task Specification to Robot Operating System (ROS) Implementation, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.