Model Checking Finite-Horizon Markov Chains with Probabilistic Inference (bibtex)

@inproceedings{HoltzenCAV21,
	author    = {Holtzen, Steven and Junges, Sebastian and Vazquez-Chanlatte, Marcell and Millstein, Todd and Seshia, Sanjit A. and Van den Broeck, Guy},
	title     = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference},
    booktitle = {Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV)},
    month   = {July},
    year    = {2021},
    url     = "http://starai.cs.ucla.edu/papers/HoltzenCAV21.pdf",
    keywords  = {conference,selective}
}