Near-Optimal Reactive Synthesis Incorporating Runtime Information
暂无分享,去创建一个
[1] Ufuk Topcu,et al. Traffic Management for Urban Air Mobility , 2019, NFM.
[2] Antonio Bicchi,et al. Symbolic planning and control of robot motion [Grand Challenges of Robotics] , 2007, IEEE Robotics & Automation Magazine.
[3] Hadas Kress-Gazit,et al. Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles , 2017, Auton. Robots.
[4] Hadas Kress-Gazit,et al. Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[5] Hadas Kress-Gazit,et al. Reactive Synthesis for Robotic Swarms , 2018, FORMATS.
[6] Rohit Goyal,et al. Urban Air Mobility (UAM) Market Study , 2018 .
[7] Hadas Kress-Gazit,et al. Improving the continuous execution of reactive LTL-based controllers , 2013, 2013 IEEE International Conference on Robotics and Automation.
[8] George J. Pappas,et al. Symbolic Planning and Control of Robot Motion Finding the Missing Pieces of Current Methods and Ideas , .
[9] Ufuk Topcu,et al. Safe Reinforcement Learning via Shielding , 2017, AAAI.
[10] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[11] Ufuk Topcu,et al. Shield synthesis , 2017, Formal Methods Syst. Des..
[12] Hadas Kress-Gazit,et al. LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[13] Lillian Gipson. NASA Embraces Urban Air Mobility, Calls for Market Study , 2017 .
[14] Ufuk Topcu,et al. Synthesis of Minimum-Cost Shields for Multi-agent Systems , 2019, 2019 American Control Conference (ACC).
[15] Calin Belta,et al. Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..
[16] Vasumathi Raman,et al. Slugs: Extensible GR(1) Synthesis , 2016, CAV.
[17] Amir Pnueli,et al. Synthesis of Reactive(1) designs , 2006, J. Comput. Syst. Sci..
[18] Ufuk Topcu,et al. Synthesis of Surveillance Strategies via Belief Abstraction , 2017, 2018 IEEE Conference on Decision and Control (CDC).
[19] Christel Baier,et al. Principles of model checking , 2008 .
[20] Chao Wang,et al. Shield Synthesis: Runtime Enforcement for Reactive Systems , 2015, TACAS.
[21] Rafael Apaza,et al. Urban Air Mobility Airspace Integration Concepts and Considerations , 2018, 2018 Aviation Technology, Integration, and Operations Conference.