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]
Abstract is missing.