1. Lect Notes Comput Sci;W. Thomas,1995
2. T. Başar and G.J. Olsder, Dynamic Non-cooperative Game Theory, Academic Press, second edition, 1995.
3. Lect Notes Comput Sci;O. Maler,1995
4. H. Wong-Toi, “The synthesis of controllers for linear hybrid automata”, in Proceedings of the IEEE Conference on Decision and Control, San Diego, CA, 1997.
5. J. Lygeros, C. Tomlin, and S. Sastry, “Controllers for reachability specifications for hybrid systems”, Automatica, vol. 35, no. 3, 1999, To appear.