Zhengkui Zhang, Brian Nielsen, Kim G. Larsen. Time optimal reachability analysis using swarm verification. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1634-1640, ACM, 2016. [doi]
@inproceedings{ZhangNL16,
title = {Time optimal reachability analysis using swarm verification},
author = {Zhengkui Zhang and Brian Nielsen and Kim G. Larsen},
year = {2016},
doi = {10.1145/2851613.2851828},
url = {http://doi.acm.org/10.1145/2851613.2851828},
researchr = {https://researchr.org/publication/ZhangNL16},
cites = {0},
citedby = {0},
pages = {1634-1640},
booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016},
editor = {Sascha Ossowski},
publisher = {ACM},
isbn = {978-1-4503-3739-7},
}