Wanwei Liu

Application of a novel time-delayed polynomial grey model to predict the natural gas consumption in China

Research on the novel recursive discrete multivariate grey prediction model and its applications

Counterexample-Preserving Reduction for Symbolic Model Checking