Publications

Export 13 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is R  [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 
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, 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 and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 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, “Explaining Unsynthesizability of High-Level Robot Behaviors”, Department of Computer Science, Cornell University, 2013.
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, 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 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, 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, 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, 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.