Abstract model repair for probabilistic systems
type: Item
instance of: scholarly article
title: Abstract model repair for probabilistic systems
zbMATH Open document ID: 1388.68185
author: G. Chatzieleftheriou
author: Panagiotis Katsaros
published in: Information and Computation
publication date: 2018-03-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 60J20
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6851683
zbMATH Keywords: model repair
zbMATH Keywords: abstraction
zbMATH Keywords: probabilistic models
describes a project that uses: PRISM
describes a project that uses: CEGAR
describes a project that uses: PRISM-PSY
describes a project that uses: PROPhESY
describes a project that uses: Maple
describes a project that uses: Storm
MaRDI profile type: Publication
full work available at URL: j.ic.2018.02.019
OpenAlex ID: W2792547510
cites work: Model Repair for Probabilistic Systems
cites work: Property preserving abstractions for the verification of concurrent systems
cites work: Q4791848
cites work: Abstract Model Repair
cites work: Three-valued abstraction for probabilistic systems
cites work: Probabilistic CEGAR
cites work: Abstraction Refinement for Probabilistic Software
cites work: A game-based abstraction-refinement framework for Markov decision processes
cites work: Q4798031
cites work: A counterexample-guided abstraction-refinement framework for markov decision processes
cites work: Quadratic programming is in NP
cites work: Q4840764
cites work: A computationally efficient feasible sequential quadratic programming algorithm
cites work: Understanding Maple
cites work: Stochastic Model Checking
cites work: Q5322945
cites work: Performance analysis of probabilistic timed automata using digital clocks
cites work: System design of stochastic models using robustness of temporal properties
cites work: Enhancing model checking in verification by AI techniques
cites work: Optimal state-space lumping in Markov chains
cites work: Q5111436
cites work: On Abstraction of Probabilistic Systems
DOI: 10.1016/J.IC.2018.02.019
description: scientific article; zbMATH DE number 6851683