Anti-chain based algorithms for timed/probabilistic refinement checking

by Wang, Ting, Chen, Tieming, Liu, Yang, Wang, Ye
Published 2020

Formalizing and verifying stochastic system architectures using Monterey Phoenix

by SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
Published 2016