Intelligent Modeling and Verification

• Guiming Luo,
• Graziano Chesi,
• Xiaoyu Song,
• Xiaojing Yang

Affiliations

Guiming Luo

School of Software, Tsinghua University, Beijing 100084, China

Graziano Chesi

Department of Electrical and Electronic Engineering, University of Hong Kong, Pokfulam Road, Hong Kong

Xiaoyu Song

Maseeh College of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA

Xiaojing Yang

Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China