ROSRV: Runtime Verification for Robots
暂无分享,去创建一个
Yi Zhang | Grigore Rosu | Jeff Huang | Qingzhou Luo | Aravind Sundaresan | Brandon M. Moore | Cansu Erdogan | Y. Zhang | A. Sundaresan | Q. Luo | Cansu Erdogan | G. Roşu | Jeff Huang
[1] Benjamin Pitzer,et al. Towards perceptual shared autonomy for robotic mobile manipulation , 2011, 2011 IEEE International Conference on Robotics and Automation.
[2] Grigore Rosu,et al. Semantics and Algorithms for Parametric Monitoring , 2011, Log. Methods Comput. Sci..
[3] Morgan Quigley,et al. ROS: an open-source Robot Operating System , 2009, ICRA 2009.
[4] Stefan Schaal,et al. STOMP: Stochastic trajectory optimization for motion planning , 2011, 2011 IEEE International Conference on Robotics and Automation.
[5] Michael Beetz,et al. Transparent object detection and reconstruction on a mobile platform , 2011, 2011 IEEE International Conference on Robotics and Automation.
[6] Sebastian Rudolph,et al. Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog , 2012, Log. Methods Comput. Sci..