Andreas Vorpahl

Publication Activity (10 Years)

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

Top Topics

Monte Carlo Method

Probabilistic Automata

Relative Entropy

Top Venues

Log. Methods Comput. Sci.

Publications

Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
High-level Counterexamples for Probabilistic Automata Log. Methods Comput. Sci. 11 (1) (2015)
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
High-Level Counterexamples for Probabilistic Automata. QEST (2013)
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)