Detail publikace

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

ANDRIUSHCHENKO, R.; ČEŠKA, M.; STUPINSKÝ, Š.; JUNGES, S.; KATOEN, J. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. In International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science. Cham: Springer Verlag, 2021. p. 856-869. ISBN: 978-3-030-81684-1.
Název česky
PAYNT: Nástroj pro induktivní syntézu pravděpodobnostních programů.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Stupinský Šimon, Ing.
JUNGES, S.
KATOEN, J.
a další
Klíčová slova

Pravděpodobnostní programy, induktivní syntéza, proti-příklady, pravděpodobnostní ověřování modelů

Abstrakt

Tento článek představuje PAYNT: Nástroj pro induktivní syntézu pravděpodobnostních programů. Nástroj implementuje metodu, která staví na hladovém generováni proti-příkladů s využitím informací o chování dané rodiny programů. 

Rok
2021
Strany
856–869
Sborník
International Conference on Computer Aided Verification (CAV)
Řada
Lecture Notes in Computer Science
Svazek
12759
ISBN
978-3-030-81684-1
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-030-81685-8_40
UT WoS
000698732400040
EID Scopus
2-s2.0-85113446002
BibTeX 
@inproceedings{BUT172523,
  author="ANDRIUSHCHENKO, R. and ČEŠKA, M. and STUPINSKÝ, Š. and JUNGES, S. and KATOEN, J.",
  title="PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs",
  booktitle="International Conference on Computer Aided Verification (CAV)",
  year="2021",
  series="Lecture Notes in Computer Science",
  volume="12759",
  pages="856--869",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-030-81685-8\{_}40",
  isbn="978-3-030-81684-1"
}
Nahoru