Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein. Nobody s perfect: interactive synthesis from parametrized real-time scenarios. In Jon Whittle, Leif Geiger, Michael Meisinger, editors, SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006. pages 67-74, ACM, 2006. [doi]
Abstract is missing.