Detail publikace

Counterexample-guided inductive synthesis for probabilistic systems

ČEŠKA, M.; JUNGES, S.; KATOEN, J.; HENSE, C. Counterexample-guided inductive synthesis for probabilistic systems. Formal Aspects of Computing, 2021, vol. 33, no. 4, p. 637-667. ISSN: 0934-5043.
Název česky
Induktivní syntéza pravděpodobnostních systémů řízená protipříklady
Typ
článek v časopise
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
JUNGES, S.
KATOEN, J.
HENSE, C.
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
DOI
10.1007/s00165-021-00547-2
UT WoS
000648556100001
EID Scopus
2-s2.0-85105498146
BibTeX 
@article{BUT171489,
  author="ČEŠKA, M. and JUNGES, S. and KATOEN, J. and HENSE, C.",
  title="Counterexample-guided inductive synthesis for probabilistic systems",
  journal="Formal Aspects of Computing",
  year="2021",
  volume="33",
  number="4",
  pages="637--667",
  doi="10.1007/s00165-021-00547-2",
  issn="0934-5043",
  url="https://dl.acm.org/doi/10.1007/s00165-021-00547-2"
}
Nahoru