One-shot computation of reachable sets for differential games 
Insoon Yang, Sabine Becker-Weimann, Mina J. Bissell, and Claire J. Tomlin
Proceedings of the 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 183-192, 2013.