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

by Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia and Guy Van den Broeck
Reference:
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd Millstein, Sanjit A. Seshia and Guy Van den Broeck. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference, In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV), 2021.
Bibtex Entry:
@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},
    keywords  = {conference,selective}
}
Powered by bibtexbrowser