Model Checking Finite-Horizon Markov Chains with Probabilistic InferenceSteven Holtzen, Guy Van den Broeck|Lecture notes in computer science|2021Cited by 1