Verifying temporal properties of finite-state probabilistic programs | IEEE Conference Publication | IEEE Xplore