Publications

Export 11 results:
[ Author(Asc)] Keyword Title Type Year
Filters: Author is Vasumathi Raman  [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
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., 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., 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., 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, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
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., 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, 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, 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, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 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.