Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel. Synthesis of behavioral controllers for DES: Increasing efficiency. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 27-34, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.