Lazy Abstraction for Probabilistic Systems
Date
Type
könyvfejezet
Language
en
Reading access rights:
Open access
Rights Holder
Szerző
Conference Date
2023.02.06-2023.02.07.
Conference Place
Budapest
Conference Title
30th Minisymposium of the Department of Measurement and Information Systems
ISBN, e-ISBN
978-963-421-904-0
Container Title
Proceedings of the 30th Minisymposium
Department
Department of Measurement and Information Systems
Version
Post print
Faculty
Faculty of Electrical Engineering and Informatics
First Page
9
Subject (OSZKAR)
probabilistic model checking
Markov decision processes
lazy abstraction
Markov decision processes
lazy abstraction
Gender
Konferenciacikk
University
Budapest University of Technology and Economics
- Cite this item
- https://doi.org/10.3311/minisy2023-003
OOC works
Abstract
Reliability analysis of complex safety-critical systems by probabilistic model checking is often hindered by state space explosion. Abstraction is one way to counteract this problem. In this paper, we adapt an existing lazy abstraction algorithm to the analysis of Markov Decision Process reliability models and prove its soundness.