Arnd Hartmanns

Identifiers

• name variant Arnd Hartmanns 0.60 · backfill

Papers (4)

1. UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version) cs.LO · 2026 · author #2
2. A Hierarchy of Scheduler Classes for Stochastic Automata cs.LO · 2017 · author #3
3. Efficient Algorithms for Time- and Cost-Bounded Probabilistic Model Checking cs.LO · 2016 · author #2
4. Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage cs.LO · 2015 · author #1

Mentions

• 2606.17811 #2 · arxiv_oai · confidence 0.70 Arnd Hartmanns
• 1504.02861 #1 · backfill · confidence 0.70 Arnd Hartmanns

Frequent Coauthors

• David Parker 1 shared papers
• Ernst Moritz Hahn 1 shared papers
• Holger Hermanns 1 shared papers
• Joshua Jeppson 1 shared papers
• Marcus Gerhold 1 shared papers
• Maximilian Weininger 1 shared papers
• Pedro R. D'Argenio 1 shared papers
• Roman Andriushchenko 1 shared papers
• Sean Sedwards 1 shared papers
• Sebastian Junges 1 shared papers
• Tim Quatmann 1 shared papers
• Tobias Meggendorfer 1 shared papers