Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ernst Moritz Hahn
Model Repair for Markov Decision Processes
ARCH-COMP19 Category Report: Stochastic Modelling
Related publications
Markov Decision Processes
Communications and Control Engineering
Multi-Objective Model Checking of Markov Decision Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
Mathematics
Computer Science
Distribution-Based Objectives for Markov Decision Processes
Magnifying-Lens Abstraction for Markov Decision Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributionally Robust Markov Decision Processes
Mathematics of Operations Research
Management Science
Computer Science Applications
Operations Research
Mathematics
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Iterative Aggregation Procedure for Markov Decision Processes
Operations Research
Management Science
Computer Science Applications
Operations Research
Model Acquisition for Markov Decision Problems
