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]
No references recorded for this publication.
No citations of this publication recorded.