Robert P. Goldman, David J. Musliner, Michael J. S. Pelican. Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. In Claire Tomlin, Mark R. Greenstreet, editors, Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Volume 2289 of Lecture Notes in Computer Science, pages 225-238, Springer, 2002. [doi]
Abstract is missing.