Detail publikace

Counterexample-guided inductive synthesis for probabilistic systems

ČEŠKA Milan, HENSE Christian, JUNGES Sebastian a KATOEN Joost-Pieter. Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects of Computing, roč. 33, č. 4, 2021, s. 637-667. ISSN 0934-5043. Dostupné z: https://dl.acm.org/doi/10.1007/s00165-021-00547-2
Název česky
Induktivní syntéza pravděpodobnostních systémů řízená protipříklady
Typ
článek v časopise
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Hense Christian (RWTH Aachen University)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
URL
Klíčová slova


sketche programů,pravděpodobnostní programování,
Markovovy řetězce,
ověřování modelů,
proti-příklady

Abstrakt

Tento článek prezentuje novu metodu pro induktivní syntézu pravděpodobnostních systémů řízenou protipříklady

Rok
2021
Strany
637-667
Časopis
Formal Aspects of Computing, roč. 33, č. 4, ISSN 0934-5043
Vydavatel
Springer London
DOI
10.1007/s00165-021-00547-2
UT WoS
000648556100001
EID Scopus
2-s2.0-85105498146
BibTeX 
@ARTICLE{FITPUB12501,
   author = "Milan \v{C}e\v{s}ka and Christian Hense and Sebastian Junges and Joost-Pieter Katoen",
   title = "Counterexample-guided inductive synthesis for probabilistic systems",
   pages = "637--667",
   journal = "Formal Aspects of Computing",
   volume = 33,
   number = 4,
   year = 2021,
   ISSN = "0934-5043",
   doi = "10.1007/s00165-021-00547-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12501"
}
Nahoru