Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees
暂无分享,去创建一个
Calin Belta | Morteza Lahijanian | Sean B. Andersson | C. Belta | S. Andersson | Morteza Lahijanian | Morteza Lahijanian
[1] Zohar Manna,et al. Formal verification of probabilistic systems , 1997 .
[2] Thomas Bak,et al. Multi-Robot Motion Planning: A Timed Automata Approach , 2004 .
[3] S. LaValle. Rapidly-exploring random trees : a new tool for path planning , 1998 .
[4] Thierry Siméon,et al. The Stochastic Motion Roadmap: A Sampling Framework for Planning with Markov Motion Uncertainty , 2007, Robotics: Science and Systems.
[5] Weihong Zhang,et al. Speeding Up the Convergence of Value Iteration in Partially Observable Markov Decision Processes , 2011, J. Artif. Intell. Res..
[6] Steven M. LaValle,et al. Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[7] Thomas Bak,et al. Planning : A Timed Automata Approach , 2004 .
[8] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..
[9] Jean-Claude Latombe,et al. Multi-modal Motion Planning in Non-expansive Spaces , 2010, Int. J. Robotics Res..
[10] Joelle Pineau,et al. Anytime Point-Based Approximations for Large POMDPs , 2006, J. Artif. Intell. Res..
[11] John N. Tsitsiklis,et al. Introduction to linear optimization , 1997, Athena scientific optimization and computation series.
[12] Ufuk Topcu,et al. Receding horizon control for temporal logic specifications , 2010, HSCC '10.
[13] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[14] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[15] Timothy Bretl,et al. Motion Planning of Multi-Limbed Robots Subject to Equilibrium Constraints: The Free-Climbing Robot Problem , 2006, Int. J. Robotics Res..
[16] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[17] Dimitri P. Bertsekas,et al. Dynamic Programming and Optimal Control, Two Volume Set , 1995 .
[18] Calin Belta,et al. Probabilistically Safe Vehicle Control in a Hostile Environment , 2011, ArXiv.
[19] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[20] 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.
[21] John N. Tsitsiklis,et al. An Analysis of Stochastic Shortest Path Problems , 1991, Math. Oper. Res..
[22] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[23] Steven M. LaValle,et al. Planning algorithms , 2006 .
[24] Jan J. M. M. Rutten,et al. Mathematical techniques for analyzing concurrent and probabilistic systems , 2004, CRM monograph series.
[25] Lydia E. Kavraki,et al. Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning , 2010, IEEE Transactions on Robotics.
[26] C. Belta,et al. Control of Markov decision processes from PCTL specifications , 2011, Proceedings of the 2011 American Control Conference.
[27] Timothy Bretl,et al. Motion Planning for Legged Robots on Varied Terrain , 2008, Int. J. Robotics Res..
[28] Lydia E. Kavraki,et al. Falsification of LTL safety properties in hybrid systems , 2009, International Journal on Software Tools for Technology Transfer.