Model Checking Finite-Horizon Markov Chains with Probabilistic Inference.

Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck

Browse the full CAV paper archive.