Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains.

Jianlin Li, Nick Guo, Peter Ye, Yizhou Zhang

Browse the full CAV paper archive.