Liangguo Liu, Jun Peng 0001, Xiaoyong Zhang, Rui Zhang, Bin Chen, Kai Gao, Yingze Yang. Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications. In 2018 IEEE International Conference on Big Data and Smart Computing, BigComp 2018, Shanghai, China, January 15-17, 2018. pages 133-140, IEEE Computer Society, 2018. [doi]
@inproceedings{Liu0ZZCGY18,
title = {Reactive Behavioral Strategy for Unmanned Ground Vehicle Under Liner Temporal Logic Specifications},
author = {Liangguo Liu and Jun Peng 0001 and Xiaoyong Zhang and Rui Zhang and Bin Chen and Kai Gao and Yingze Yang},
year = {2018},
doi = {10.1109/BigComp.2018.00028},
url = {http://doi.ieeecomputersociety.org/10.1109/BigComp.2018.00028},
researchr = {https://researchr.org/publication/Liu0ZZCGY18},
cites = {0},
citedby = {0},
pages = {133-140},
booktitle = {2018 IEEE International Conference on Big Data and Smart Computing, BigComp 2018, Shanghai, China, January 15-17, 2018},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3649-7},
}