Detail publikace

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

ČEŠKA Milan, HENSE Christian, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019, s. 107-125. ISBN 978-3-030-31513-9. Dostupné z: https://www.researchgate.net/publication/335984637_Model_Repair_Revamped_-_On_the_Automated_Synthesis_of_Markov_Chains_-
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Hense Christian (RWTH Aachen University)
Jansen Nils (RUN)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
URL
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, CH
DOI
EID Scopus
BibTeX
@INBOOK{FITPUB12150,
   author = "Milan \v{C}e\v{s}ka and Christian Hense and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen",
   title = "Model Repair Revamped - On the Automated Synthesis of Markov Chains -",
   pages = "107--125",
   booktitle = "From Reactive Systems to Cyber-Physical Systems",
   series = "Lecture Notes of Computer Science",
   year = 2019,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-31513-9",
   doi = "10.1007/978-3-030-31514-6\_7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12150"
}
Nahoru