Műegyetemi Digitális Archívum
 

Lazy Abstraction for Probabilistic Systems

Loading...
Thumbnail Image

Date

2023

item.page.title

Lazy Abstraction for Probabilistic Systems

item.page.contributor

item.page.advisor

Authors

Szekeres, Dániel
Majzik, István

item.page.spatial

item.page.createdDate

item.page.extent

item.page.medium

item.page.isbn

item.page.issn

item.page.language

en

Publisher

item.page.replaces

item.page.alternative

item.page.type

könyvfejezet

item.page.accessRights

Open access

item.page.rightsHolder

Szerző

item.page.address

item.page.conferenceDate

2023.02.06-2023.02.07.

item.page.conferencePlace

Budapest

item.page.conferenceTitle

30th Minisymposium of the Department of Measurement and Information Systems

item.page.containerIdentifierIsbn

978-963-421-904-0

item.page.containerIdentifierIssn

item.page.containerPeriodicalNumber

item.page.containerPeriodicalVolume

item.page.containerPeriodicalYear

item.page.containerTitle

Proceedings of the 30th Minisymposium

item.page.contributorLector

item.page.contributor.lector

item.page.contributorBody

item.page.courseCode

item.page.courseName

item.page.dateDefence

item.page.department

Department of Measurement and Information Systems

item.page.descriptionVersion

Post print

item.page.doctoralSchool

item.page.faculty

Faculty of Electrical Engineering and Informatics

item.page.firstpage

9

item.page.identifier

item.page.identifierLectureNotes

item.page.identifierReference

item.page.inscription

item.page.note

item.page.page

item.page.periodicalCreator

item.page.periodicalNumber

item.page.periodicalVolume

item.page.periodicalYear

item.page.scale

item.page.signature

item.page.subjectArea

item.page.subjectField

item.page.subjectOszkar

probabilistic model checking
Markov decision processes
lazy abstraction

item.page.technique

item.page.titlenumber

item.page.typeType

Konferenciacikk

item.page.university

Budapest University of Technology and Economics

item.page.universityProgram

item.page.universityProgramLevel

Journal Title

Journal ISSN

Volume Title

Publisher

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.

Description

Keywords

Citation