Author:
Zhao Jianing,Zhu Keyi,Li Shaoyuan,Yin Xiang
Funder
National Natural Science Foundation of China
Reference15 articles.
1. Principles of Model Checking;Baier,2008
2. Pseudopolynomial iterative algorithm to solve total-payof games and min-cost reachability games;Brihaye;Acta Informatica,2017
3. Iterated regret minimization in game graphs;Filiot;International Symposium on Mathematical Foundations of Computer Science,2010
4. Synthesis of joint control and active sensing strategies under temporal logic constraints;Fu;IEEE Transactions on Automatic Control,2016
5. Multi-agent plan reconfiguration under local ltl specifications;Guo;The International Journal of Robotics Research,2015
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献