Ptolemy Project Publications for 2017

  1. Chihhong Cheng, Edward A. Lee, Harald Reuss autoCode4: Structural Controller Synthesis, to appear in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, 22, April, 2017.