Author:
Yang Dong,Shi Hao,Dong Wei,Dong Yanqi,Zhang Yong
Reference54 articles.
1. Deterministic generators and games for ltl fragments;R Alur;ACM Trans. Comput. Logic,2004
2. Counter-strategy guided refinement of gr (1) temporal logic specifications;R Alur;2013 Formal Methods in Computer-Aided Design
3. Policy search for multi-robot coordination under uncertainty;C Amato;The International Journal of Robotics Research,2016
4. Discrete event models + temporal logic = supervisory controller: automatic synthesis of locomotion controllers;M Antoniotti;Proceedings of 1995 IEEE International Conference on Robotics and Automation,1995