Temporal Logic Optimal Control for Large-Scale Multi-Robot Systems: 10400 States and Beyond
暂无分享,去创建一个
[1] Calin Belta,et al. Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization , 2012, DARS.
[2] Michael M. Zavlanos,et al. Sampling-Based Optimal Control Synthesis for Multirobot Systems Under Global Temporal Tasks , 2017, IEEE Transactions on Automatic Control.
[3] Marco Roveri,et al. The nuXmv Symbolic Model Checker , 2014, CAV.
[4] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[5] Calin Belta,et al. Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..
[6] Michael M. Zavlanos,et al. Sampling-Based Control Synthesis for Multi-robot Systems under Global Temporal Specifications , 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
[7] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[8] Michael M. Zavlanos,et al. Distributed Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
[9] Christel Baier,et al. Principles of model checking , 2008 .