Publications

Filters: Keyword is Probabilistic Automata [Clear All Filters]

2014

L. Song, L. Zhang, H. Hermanns, and J. C. Godskesen, “Incremental Bisimulation Abstraction Refinement”, ACM Trans. Embed. Comput. Syst., vol. 13, p. 142:1–142:23, 2014.

2013

B. Delahaye, et al., “Abstract Probabilistic Automata”, Information and Computation, vol. 232, p. 66 - 116, 2013.