autoCode4: Structural Controller Synthesis

Chih-Hong Cheng, Edward A. Lee und 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