Publications
Export 13 results:
[ Author
Filters: First Letter Of Last Name is R [Clear All Filters]
“Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots”, Journal of Field Robotics (JFR), vol. 34, no. Special Issue on the DARPA Robotics Challenge Finals, p. 333--358, 2017.
, “Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations”, in IEEE International Conference on Robotics and Automation, 2013.
, “Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP”, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.
, “Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control”, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
, “Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language”, in Robotics: Science and Systems, 2013.
, “Temporal logic robot mission planning for slow and fast actions”, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
, “Explaining Impossible High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
, “Explaining Impossible High-Level Robot Behaviors”, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
, “Explaining Unsynthesizability of High-Level Robot Behaviors”, Department of Computer Science, Cornell University, 2013.
, “Toward Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors”, in International Conference on Intelligent Robots and Systems (IROS), 2013.
, “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.
, “Automated Feedback For Unachievable High-Level Robot Behaviors”, in IEEE International Conference on Robotics and Automation, 2012, pp. 5156-5162.
, “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
,