Time optimal reachability analysis using swarm verification.

Zhengkui Zhang, Brian Nielsen, Kim G. Larsen

Browse the full SAC paper archive.