Detail výsledku

Model Repair Revamped - On the Automated Synthesis of Markov Chains -

ČEŠKA, M.; HENSE, C.; JANSEN, N.; JUNGES, S.; KATOEN, J. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. In From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019. p. 107-125. ISBN: 978-3-030-31513-9.
Typ
kapitola, resp. kapitoly v odborné knize
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D., UITS (FIT)
HENSE, C.
JANSEN, N.
JUNGES, S.
KATOEN, J.
Abstrakt

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.

Klíčová slova

model repair, synthesis of Markov chains, counter-examples, abstraction refinement 

URL
Rok
2019
Strany
107–125
Kniha
From Reactive Systems to Cyber-Physical Systems
Řada
Lecture Notes of Computer Science
ISBN
978-3-030-31513-9
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-31514-6_7
EID Scopus
2-s2.0-85073163783
BibTeX 
@inbook{BUT161474,
  author="ČEŠKA, M. and HENSE, C. and JANSEN, N. and JUNGES, S. and KATOEN, J.",
  title="Model Repair Revamped - On the Automated Synthesis of Markov Chains -",
  booktitle="From Reactive Systems to Cyber-Physical Systems",
  year="2019",
  publisher="Springer International Publishing",
  address="Cham",
  series="Lecture Notes of Computer Science",
  pages="107--125",
  doi="10.1007/978-3-030-31514-6\{_}7",
  isbn="978-3-030-31513-9",
  url="https://www.researchgate.net/publication/335984637_Model_Repair_Revamped_-_On_the_Automated_Synthesis_of_Markov_Chains_-"
}
Soubory
Projekty
Automaty v rozhodovacích procedurách a verifikaci, GAČR, Standardní projekty, GA19-24397S, GA19-24397S, zahájení: 2019-01-01, ukončení: 2021-12-31, řešení
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru