Model Repair Revamped - On the Automated Synthesis of Markov Chains -
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU134974" target="_blank" >RIV/00216305:26230/19:PU134974 - isvavai.cz</a>
Result on the web
<a href="https://www.researchgate.net/publication/335984637_Model_Repair_Revamped_-_On_the_Automated_Synthesis_of_Markov_Chains_-" target="_blank" >https://www.researchgate.net/publication/335984637_Model_Repair_Revamped_-_On_the_Automated_Synthesis_of_Markov_Chains_-</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-31514-6_7" target="_blank" >10.1007/978-3-030-31514-6_7</a>
Alternative languages
Result language
angličtina
Original language name
Model Repair Revamped - On the Automated Synthesis of Markov Chains -
Original language description
This paper outlines two approaches-based on counterexample-guided abstraction refinement (CEGAR) and counterexample-guided inductive synthesis (CEGIS), respectively-to the automated synthesis of finite-state probabilistic models and programs. Our CEGAR approach iteratively partitions the design space starting from an abstraction of this space and refines this by a light-weight analysis of verification results. The CEGIS technique exploits critical subsystems as counterexamples to prune all programs behaving incorrectly on that input. We show the applicability of these synthesis techniques to sketching of probabilistic programs, controller synthesis of POMDPs, and software product lines.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
From Reactive Systems to Cyber-Physical Systems
ISBN
978-3-030-31513-9
Number of pages of the result
19
Pages from-to
107-125
Number of pages of the book
301
Publisher name
Springer International Publishing
Place of publication
Cham
UT code for WoS chapter
—