Hartmanns, Arnd
- A Practitioner's Guide to MDP Model Checking Algorithms
2023/01/24 by Hartmanns, Arnd, Junges, Sebastian, Quatmann, Tim +1 · 6 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Optimistic Value Iteration
2019/10/02 by Hartmanns, Arnd, Kaminski, Benjamin Lucien · 3 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Tools at the Frontiers of Quantitative Verification
2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
2024/12/07 by Carlos E. Budde, Budde, Carlos E., Pedro R. D’Argenio +3 · 2 citations
Business, Management and Accounting · #Big Data and Business Intelligence #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.6.5 #I.6.8
- A Hierarchy of Scheduler Classes for Stochastic Automata
2017/10/16 by D'Argenio, Pedro R., Gerhold, Marcus, Hartmanns, Arnd +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
2024/11/01 by Carlos E. Budde, Arnd Hartmanns, Budde, Carlos E. +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)