Publications

Export 35 results:
Author [ Keyword(Desc)] Title Type Year
Filters: Author is Kress-Gazit, Hadas  [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 
Robot Operating System (ROS)
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.
Temporal Logic
M. R. Maly, Lahijanian, M., Kavraki, L. E., Kress-Gazit, H., and Vardi, M. Y., Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.

Pages