Approximate Verification of Probabilistic Systems
暂无分享,去创建一个
[1] Rajeev Motwani,et al. Randomized Algorithms , 1995, SIGA.
[2] Alon Itai,et al. Symmetry breaking in distributed networks , 1990, Inf. Comput..
[3] Luca de Alfaro,et al. Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation , 2000, TACAS.
[4] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[5] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[6] Richard M. Karp,et al. Monte-Carlo algorithms for enumeration and reliability problems , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).