Lazy Abstraction for Probabilistic Systems

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
10.3311/minisy2023-003
Collections
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.
Title
Lazy Abstraction for Probabilistic Systems
Author
Szekeres, Dániel
Majzik, István
Date of issue
2023
Access level
Open access
Copyright owner
Szerző
Conference title
30th Minisymposium of the Department of Measurement and Information Systems
Conference place
Budapest
Conference date
2023.02.06-2023.02.07.
Language
en
Page
9 - 12
Subject
probabilistic model checking, Markov decision processes, lazy abstraction
Version
Post print
Identifiers
DOI: 10.3311/minisy2023-003
Title of the container document
Proceedings of the 30th Minisymposium
ISBN, e-ISBN
978-963-421-904-0
Document type
könyvfejezet
Document genre
Konferenciacikk
University
Budapest University of Technology and Economics
Faculty
Faculty of Electrical Engineering and Informatics
Department
Department of Measurement and Information Systems