Publications

Export 12 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
D. Lee, McClelland, M., Schneider, J., Yang, T. - L., Gallagher, D., Shah, D., Ahmed, N., Moran, P., Nathan, A., Kress-Gazit, H., and Campbell, M., Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track, in SPIE Europe Conference on Unmanned/Unattended Sensors and Sensor Networks, Toulouse France, 2010.
D. Lee, McClelland, M., Schneider, J., Yang, T. - L., Gallagher, D., Shah, D., Ahmed, N., Moran, P., Nathan, A., Kress-Gazit, H., and Campbell, M., Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track, in SPIE Europe Conference on Unmanned/Unattended Sensors and Sensor Networks, Toulouse France, 2010.
S. Hamill, Peele, B., Ferenz, P., Westwater, M., Shepherd, R. F., and Kress-Gazit, H., Gait Synthesis for Modular Soft Robots, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
S. Sarid, Xu, B., and Kress-Gazit, H., Guaranteeing High-Level Behaviors while Exploring Partially Known Maps, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.
S. Maniatopoulos, Schillinger, P., Pong, V., Conner, D. C., and Kress-Gazit, H., Reactive high-level behavior synthesis for an Atlas humanoid robot, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., Synthesis with Identifiers, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.