Publications

Export 65 results:
[ Author(Asc)] 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 
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.
S
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.
R
A. Romay, Maniatopoulos, S., Kohlbrecher, S., Schillinger, P., Stumpf, A., Kress-Gazit, H., von Stryk, O., and Conner, D., Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots, Journal of Field Robotics (JFR), no. Special Issue on the DARPA Robotics Challenge Finals, 2016.
V. Raman and Kress-Gazit, H., Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, in IEEE International Conference on Robotics and Automation, 2013.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
V. Raman, Xu, B., and Kress-Gazit, H., Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 1233-1238.
V. Raman and Kress-Gazit, H., Automated Feedback For Unachievable High-Level Robot Behaviors, in IEEE International Conference on Robotics and Automation, 2012, pp. 5156-5162.
V. Raman, Piterman, N., and Kress-Gazit, H., Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations, in IEEE International Conference on Robotics and Automation, 2013.
V. Raman and Kress-Gazit, H., Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.
V. Raman and Kress-Gazit, H., Synthesis for multi-robot controllers with interleaved motion, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
V. Raman, Lignos, C., Finucane, C., Lee, K., Marcus, M., and Kress-Gazit, H., Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language, in Robotics: Science and Systems, 2013.
V. Raman, Piterman, N., Finucane, C., and Kress-Gazit, H., Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
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.
M
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.
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.
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.

Pages