Model Checking Finite-Horizon Markov Chains with Probabilistic Inference

Steven Holtzen(Universidad del Noreste), Guy Van den Broeck(University of California, Los Angeles)
Lecture notes in computer science
January 1, 2021
10.1007/978-3-030-81688-9_27
Cited by 1

Related Papers

No related papers found

Powered by citation graph analysis