p-Automata: New Foundations for Discrete-Time Probabilistic Verification. Huth, M., Piterman, N., & Wagner, D. Performance Evaluation, 69(7-8):356-378, 2012.
p-Automata: New Foundations for Discrete-Time Probabilistic Verification [pdf]Paper  bibtex   

Downloads: 0