Publications

Export 10 results:
[ Author(Desc)] Keyword Title Type Year
Filters: First Letter Of Title is C  [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 
J
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., Correct High-level Robot Control from Structured English, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
T
T. Tosun, Jing, G., Kress-Gazit, H., and Yim, M., Computer-Aided Compositional Design and Verification for Modular Robots, in The International Symposium on Robotics Research, Sestri Levante, Italy, 2015.