Improving Graph-based methods for computing qualitative properties of markov decision processes
Probabilistic model checking is a formal verification method, which is used to guarantee the correctness of the computer systems with stochastic behaviors. Reachability probabilities are the main class of properties that are proposed in probabilistic model checking. Some graph-based pre-computation...
Saved in:
Main Authors: | Mohagheghi, Mohammadsadegh (Author), Salehi, Khayyam (Author) |
---|---|
Format: | EJournal Article |
Published: |
Institute of Advanced Engineering and Science,
2020-03-01.
|
Subjects: | |
Online Access: | Get fulltext Get fulltext |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Dynamic risk management with Markov decision processes
by: Mundt, André Philipp
Published: (2008) -
Hierarchical Markov Decision Based Path Planning for Palletizing Robot
by: Liu, Jiufu, et al.
Published: (2014) -
Markov and Semi-markov Chains, Processes, Systems and Emerging Related Fields
Published: (2021) -
Graph-Based Decision Making in Industry
by: Kutschenreiter-Praszkiewicz, Izabela
Published: (2017) -
Qualitative and Nutritional Improvement of Cereal-Based Foods and Beverages
Published: (2021)