Detail publikace

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.
Název česky
Automatizovaná syntéza pravděpodobnostních modelů
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
HENSE, C.
JANSEN, N.
JUNGES, S.
KATOEN, J.
URL
Klíčová slova

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

Abstrakt

Tento článek se zabýva problémem automatizované opravy pravděpodobnostních modelů s využitím technik syntézy Markovovských řetězců.

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_-"
}
Nahoru