Hierarchical Counterexamples for Discrete-Time Markov Chains.

Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker

Browse the full ATVA paper archive.