Lazy Abstraction for Probabilistic Systems
Loading...
Date
2023
item.page.title
Lazy Abstraction for Probabilistic Systems
item.page.contributor
item.page.advisor
Authors
Szekeres, Dániel
Majzik, István
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
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.