Arnd Hartmanns

MaRDI QIDQ832047zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DTMC model checking by path abstraction revisited	2026-07-10	Paper
A modest approach to Markov automata ACM Transactions on Modeling and Computer Simulation	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 (available as arXiv preprint)	2021-02-09	Paper
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Multi-cost bounded tradeoff analysis in MDP Journal of Automated Reasoning	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 (available as arXiv preprint)	2018-07-17	Paper
Statistical approximation of optimal schedulers for probabilistic timed automata Lecture Notes in Computer Science	2016-06-17	Paper
Schedulers are no prophets Semantics, Logics, and Calculi	2016-03-23	Paper
Explicit model checking of very large MDP using partitioning and secondary storage Automated Technology for Verification and Analysis	2016-01-08	Paper
A compositional modelling and analysis framework for stochastic hybrid systems Formal Methods in System Design	2014-06-30	Paper

Research outcomes over time

This page was built for person: Arnd Hartmanns