Abstract model repair for probabilistic systems

DOI10.1016/j.ic.2018.02.019zbMath1388.68185OpenAlexW2792547510MaRDI QIDQ1706149

G. Chatzieleftheriou, Panagiotis Katsaros

Publication date: 21 March 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2018.02.019

zbMATH Keywords

abstractionprobabilistic modelsmodel repair

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Synthesizing optimal bias in randomized self-stabilization ⋮ Solving systems of bilinear equations for transition rate reconstruction ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Are Parametric Markov Chains Monotonic? ⋮ Inductive synthesis for probabilistic programs reaches new horizons

Uses Software

• Maple
• PRISM
• CEGAR
• Storm
• PRISM-PSY
• PROPhESY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Three-valued abstraction for probabilistic systems
• A game-based abstraction-refinement framework for Markov decision processes
• Performance analysis of probabilistic timed automata using digital clocks
• Optimal state-space lumping in Markov chains
• Property preserving abstractions for the verification of concurrent systems
• Enhancing model checking in verification by AI techniques
• System design of stochastic models using robustness of temporal properties
• Quadratic programming is in NP
• A Computationally Efficient Feasible Sequential Quadratic Programming Algorithm
• On Abstraction of Probabilistic Systems
• A counterexample-guided abstraction-refinement framework for markov decision processes
• Model Repair for Probabilistic Systems
• Stochastic Model Checking
• Understanding Maple
• Abstract Model Repair
• Probabilistic CEGAR
• Abstraction Refinement for Probabilistic Software