Arnd Hartmanns

Available identifiers

Publication	Date of Publication	Type
A modest approach to Markov automata	2024-08-08	Paper
A Modest Approach to Modelling and Checking Markov Automata	2024-03-14	Paper
A modest Markov automata tutorial	2024-03-14	Paper
Correct probabilistic model checking with floating-point arithmetic	2024-02-01	Paper
A practitioner's guide to MDP model checking algorithms	2023-12-13	Paper
Tweaking the odds in probabilistic timed automata	2022-03-24	Paper
Optimistic value iteration	2021-02-09	Paper
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings	2021-01-25	Paper
Multi-cost bounded tradeoff analysis in MDP	2020-11-02	Paper
Multi-cost bounded reachability in MDP	2019-09-16	Paper
A comparison of time- and reward-bounded probabilistic model checking techniques	2018-08-16	Paper
A hierarchy of scheduler classes for stochastic automata	2018-07-17	Paper
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata	2016-06-17	Paper
Schedulers are no Prophets	2016-03-23	Paper
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage	2016-01-08	Paper
A compositional modelling and analysis framework for stochastic hybrid systems	2014-06-30	Paper

This page was built for person: Arnd Hartmanns