Publications

Export 3 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is A and Author is Vasumathi Raman  [Clear All Filters]
2012
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, 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.
2011
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.