Optimal Temporal Logic Planning for Multi-Robot Systems in Uncertain Semantic Maps
暂无分享,去创建一个
[1] Michael M. Zavlanos,et al. Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks , 2017, IEEE Transactions on Automatic Control.
[2] Calin Belta,et al. Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints , 2014, IEEE Transactions on Automatic Control.
[3] Nancy M. Amato,et al. FIRM: Sampling-based feedback motion-planning under motion uncertainty and imperfect measurements , 2014, Int. J. Robotics Res..
[4] Sean L. Bowman,et al. Probabilistic data association for semantic SLAM , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).
[5] Michael M. Zavlanos,et al. Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints , 2017, IEEE Transactions on Automatic Control.
[6] Nicholas M. Patrikalakis,et al. Global motion planning under uncertain motion, sensing, and environment map , 2011, Auton. Robots.
[7] Ufuk Topcu,et al. Optimal temporal logic planning in probabilistic semantic maps , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).
[8] Ufuk Topcu,et al. Robust control of uncertain Markov Decision Processes with temporal logic specifications , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
[9] Nicholas Roy,et al. Rapidly-exploring Random Belief Trees for motion planning under uncertainty , 2011, 2011 IEEE International Conference on Robotics and Automation.
[10] Michael M. Zavlanos,et al. Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond , 2018, 2018 IEEE Conference on Decision and Control (CDC).
[11] Michael M. Zavlanos,et al. Global Planning for Multi-Robot Communication Networks in Complex Environments , 2016, IEEE Transactions on Robotics.
[12] Hadas Kress-Gazit,et al. Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees , 2016, IEEE Transactions on Robotics.
[13] Emilio Frazzoli,et al. Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications , 2012, 2012 American Control Conference (ACC).
[14] Hadas Kress-Gazit,et al. Analyzing and revising synthesized controllers for robots with sensing and actuation errors , 2015, Int. J. Robotics Res..
[15] Calin Belta,et al. Sampling-based temporal logic path planning , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[16] Dimos V. Dimarogonas,et al. Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..
[17] Christel Baier,et al. Principles of model checking , 2008 .
[18] Hadas Kress-Gazit,et al. Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles , 2017, Auton. Robots.
[19] Calin Belta,et al. Control in belief space with Temporal Logic specifications , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).