Publications

Export 65 results:
[ Author(Desc)] Keyword Title Type Year
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 
K
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Where's Waldo? Sensor-Based Temporal Logic Motion Planning, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.
H. Kress-Gazit, Transforming high-level tasks to low-level controllers, University of Pennsylvania, Philadephia, PA, 2008.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Temporal Logic based Reactive Mission and Motion Planning, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
H. Kress-Gazit and Pappas, G. J., Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Translating Structured English to Robot Controllers, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.
H. Kress-Gazit and Pappas, G. J., Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
H. Kress-Gazit, Conner, D. C., Choset, H., Rizzi, A. A., and Pappas, G. J., Courteous cars: Decentralized multi-agent traffic coordination, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., From Structured English to Robot Motion, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2717-2722.
M
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
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.
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., Robot Creation from Functional Specifications, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
R
V. Raman, Finucane, C., and Kress-Gazit, H., Temporal logic robot mission planning for slow and fast actions, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
V. Raman, Explaining Unsynthesizability of High-Level Robot Behaviors, Department of Computer Science, Cornell University, 2013.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
V. Raman and Kress-Gazit, H., Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, in IEEE International Conference on Robotics and Automation, 2013.

Pages