Detail publikace

PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs

ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a STUPINSKÝ Šimon. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Verification (CAV). Lecture Notes in Computer Science, roč. 12759. Cham: Springer Verlag, 2021, s. 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
angličtina
Autoři
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Stupinský Šimon, Ing. ()
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
Konference
33th International Conference on Computer Aided Verification, Las Vegas, US
ISBN
978-3-030-81684-1
Vydavatel
Springer Verlag
Místo
Cham, DE
DOI
10.1007/978-3-030-81685-8_40
UT WoS
000698732400040
EID Scopus
2-s2.0-85113446002
BibTeX 
@INPROCEEDINGS{FITPUB12533,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Sebastian Junges and Joost-Pieter Katoen and \v{S}imon Stupinsk\'{y}",
   title = "PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs",
   pages = "856--869",
   booktitle = "International Conference on Computer Aided Verification (CAV)",
   series = "Lecture Notes in Computer Science",
   volume = 12759,
   year = 2021,
   location = "Cham, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-030-81684-1",
   doi = "10.1007/978-3-030-81685-8\_40",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12533"
}
Nahoru