Inproceedings,

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

, , , , , , and .
FACS, volume 7684 of Lecture Notes in Computer Science, page 134-151. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews