Publications

Export 4 results:
Author Keyword [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is G  [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 
D
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
R. Alur, Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A., “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.
T
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., “Temporal Logic Motion Planning for Dynamic Robots”. Dept. of CIS, Univ. of Pennsylvania, 2007.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., “Temporal logic motion planning for dynamic robots”, Automatica, vol. 45, pp. 343 - 352, 2009.