PASS

Tools Overview Contact Us Publications Case Studies Manual Home

Publications

[HahnHWZ10a] Hahn, E. M.; Hermanns, H.; Wachter, B. and Zhang, L. PASS: Abstraction Refinement for Infinite Probabilistic Models. In TACAS, pages 353-357, 2010.

[WachterZ10] Wachter, B. and Zhang, L. Best Probabilistic Transformers. In VMCAI, pages 362-379, Springer, 2010.

[HermannsWZ08] Hermanns, H.; Wachter, B. and Zhang, L. Probabilistic CEGAR. In CAV, pages 162-175, Springer, LNCS 5123, 2008.

[WachterZH07] Wachter, B.; Zhang, L. and Hermanns, H. Probabilistic Model Checking Modulo Theories. In Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, 2007.