Maik Scheffler

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Monte Carlo Method

Transition Matrix

Markov Processes

Top Venues

Publications

Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR (2012)