autoCode4: Structural Controller Synthesis

Chih-Hong Cheng, Edward A. Lee and Harald Rueß

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, pp. 398–404

2017 · doi:10.1007/978-3-662-54577-5_23