Publications

Export 8 results:
Author Keyword [ Title(Desc)] Type Year
Filters: First Letter Of Title is A  [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 
A
B. Johnson and Kress-Gazit, H., Analyzing and Revising High-Level Robot Behaviors Under Actuator Error, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
B. Johnson and Kress-Gazit, H., Analyzing and revising synthesized controllers for robots with sensing and actuation errors, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
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.
J. DeCastro, Ehlers, R., Rungger, M., Balkan, A., and Kress-Gazit, H., Automated generation of dynamics-based runtime certificates for high-level control, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
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 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.
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.