Amanote Research
Register
Sign In
Model Repair for Markov Decision Processes
doi 10.1109/tase.2013.20
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2013
Authors
Taolue Chen
Ernst Moritz Hahn
Tingting Han
Marta Kwiatkowska
Hongyang Qu
Lijun Zhang
Publisher
IEEE
Related search
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
