Analyzing and revising synthesized controllers for robots with sensing and actuation errors
暂无分享,去创建一个
[1] Ufuk Topcu,et al. Receding horizon temporal logic planning for dynamical systems , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[2] Benjamin Johnson,et al. Probabilistic guarantees for high-level robot behavior in the presence of sensor error , 2012, Auton. Robots.
[3] Calin Belta,et al. A probabilistic approach for control of a stochastic system from LTL specifications , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[4] Georgios E. Fainekos,et al. Revising temporal logic specifications for motion planning , 2011, 2011 IEEE International Conference on Robotics and Automation.
[5] Damian M. Lyons,et al. Getting it right the first time: Robot mission guarantees in the presence of uncertainty , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[6] Calin Belta,et al. Probabilistic control from time-bounded temporal logic specifications in dynamic environments , 2012, 2012 IEEE International Conference on Robotics and Automation.
[7] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[8] Ufuk Topcu,et al. Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.
[9] Hadas Kress-Gazit,et al. From structured english to robot motion , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[10] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[11] Hadas Kress-Gazit,et al. Analyzing and revising high-level robot behaviors under actuator error , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[12] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[13] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[14] Calin Belta,et al. Negotiating the probabilistic satisfaction of temporal logic motion specifications , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[15] Sriram Sankaranarayanan,et al. On the revision problem of specification automata , 2012, 2012 IEEE International Conference on Robotics and Automation.
[16] George J. Pappas,et al. Hybrid Controllers for Path Planning: A Temporal Logic Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[17] Hadas Kress-Gazit,et al. Execution and analysis of high-level tasks with dynamic obstacle anticipation , 2012, 2012 IEEE International Conference on Robotics and Automation.
[18] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[19] Antoine Girard,et al. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications , 2007, HSCC.
[20] Hadas Kress-Gazit,et al. Towards minimal explanations of unsynthesizability for high-level robot behaviors , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[21] Hadas Kress-Gazit,et al. Valet parking without a valet , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[22] Emilio Frazzoli,et al. Sampling-based motion planning with deterministic μ-calculus specifications , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[23] Ufuk Topcu,et al. Automatic Synthesis of Robust Embedded Control Software , 2010, AAAI Spring Symposium: Embedded Reasoning.
[24] Jing Wang,et al. Temporal logic motion control using actor–critic methods , 2012, 2012 IEEE International Conference on Robotics and Automation.
[25] Calin Belta,et al. LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees , 2011, ArXiv.
[26] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[27] Calin Belta,et al. Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees , 2010, 2010 IEEE International Conference on Robotics and Automation.
[28] Tobias Nipkow,et al. Software Safety and Security - Tools for Analysis and Verification , 2012, Software Safety and Security.
[29] Marta Z. Kwiatkowska,et al. Advances in Probabilistic Model Checking , 2012, Software Safety and Security.
[30] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[31] K.J. Kyriakopoulos,et al. Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[32] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from LTL Specifications , 2006, HSCC.
[33] Paulo Tabuada,et al. Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.
[34] Benjamin Johnson,et al. Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error , 2011, Robotics: Science and Systems.
[35] Lydia E. Kavraki,et al. Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.