Quantitative Evaluation of Systems, International Conference on (2011)
Sept. 5, 2011 to Sept. 8, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2011.28
We recently introduced Abstract Probabilistic Automata (APA), a new powerful abstraction formalism for probabilistic automata. Our theory is equipped with a series of aggressive abstraction techniques for state-space reduction as well as a specification theory for both logical and structural comparisons. This paper reports on the implementation of the approach in the Abstract Probabilistic Automata Checker toolset.
A. Legay, B. Delahaye, K. G. Larsen, M. L. Pedersen and A. Wasowski, "APAC: A Tool for Reasoning about Abstract Probabilistic Automata," Quantitative Evaluation of Systems, International Conference on(QEST), Aachen, Germany, 2011, pp. 151-152.