Lazy Abstraction for Probabilistic Systems

Contributor - Author	Szekeres, Dániel
Contributor - Author	Majzik, István
Date - Accessioned	2023-04-24T07:25:26Z
Date - Available	2023-04-24T07:25:26Z
Date - Issued	2023
Description - Abstract	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.
Identifier - URI	http://hdl.handle.net/10890/40945
Language	en
Title	Lazy Abstraction for Probabilistic Systems
Type	könyvfejezet
Accessrights	Open access
Rightsholder	Szerző
Conference Date	2023.02.06-2023.02.07.
Conference Place	Budapest
Conference Title	30th Minisymposium of the Department of Measurement and Information Systems
Container Date Issued	6-7 February, 2023
Container Identifier ISBN	978-963-421-904-0
Container Publisher	Budapest University of Technology and Economics
Container Publisher Place	Online
Container Title	Proceedings of the 30th Minisymposium
Department	Department of Measurement and Information Systems
Description Version	Post print
Faculty	Faculty of Electrical Engineering and Informatics
First Page	9
Identifier - DOI	10.3311/minisy2023-003
Last Page	12
Subject Oszkár	probabilistic model checking
Subject Oszkár	Markov decision processes
Subject Oszkár	lazy abstraction
Type Type	Konferenciacikk
University	Budapest University of Technology and Economics

Files

Now showing 1 - 1 of 1