Arnd Hartmanns

Available identifiers

zbMath Open hartmanns.arndMaRDI QIDQ832047

List of research outcomes

Publication	Date of Publication	Type
A Modest Approach to Modelling and Checking Markov Automata	2024-03-14	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Arnd Hartmanns