DMCA

Y.: Symbolic approximation of the bounded reachability probability in large Markov chains (2014)

Cached

Download Links

by Markus N. Rabe , Christoph M. Wintersteiger , Hillel Kugler , Boyan Yordanov , Youssef Hamadi
Citations:1 - 1 self