Interactive presentation: Automatic model generation for black box real-time systems.

Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia

Browse the full DATE paper archive.