Modeling, Optimization, and Verification for Complex Systems

1School of Software, Tsinghua University, Beijing 100084, China 2Department of Electrical and Computer Engineering, Portland State University, P.O. Box 751, Portland, OR 97207, USA 3Department of Mathematical Sciences, Tsinghua University, Beijing 100084, China 4School of Computer Science, University of Oklahoma, 200 Felgar Street, Room 114, Norman, OK 73019, USA 5Verimag, Universite Grenoble Alpes, France 6School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, Sichuan 611731, China