Martijn Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan Fokkink, Jacobus E. Rooda. The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. In Kim Guldstrand Larsen, Tim A. C. Willemse, editors, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Volume 11687 of Lecture Notes in Computer Science, pages 76-92, Springer, 2019. [doi]
Abstract is missing.