Publications

Prof. Bai Xue - Institute of Software, Chinese Academy of Sciences

Back to Homepage

Formal Analysis and Verification of Data-Driven Systems

© 2026 Prof. Bai Xue - Institute of Software, Chinese Academy of Sciences

"I believe that we do not know anything for certain, but everything probably." — Christiaan Huygens