Nico Wallmeier, Patrick Hütten, Wolfgang Thomas. Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. In Oscar H. Ibarra, Zhe Dang, editors, Implementation and Application of Automata, 8th International Conference, CIAA 2003, Santa Barbara, California, USA, July 16-18, 2003, Proceedings. Volume 2759 of Lecture Notes in Computer Science, pages 11-22, Springer, 2003. [doi]
Abstract is missing.