Detail publikace

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian a KATOEN Joost-Pieter. Inductive Synthesis for Probabilistic Programs Reaches New Horizons. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021, s. 191-209. ISBN 978-3-030-72015-5.
Název česky
Nové pokroky v syntéze 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)
Klíčová slova

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

Abstrakt

Tento článek prezentuje nové pokroky v syntéze pravděpodobnostních programů. Navržená metoda staví na hladovém generováni proti-příkladů s využitím informací o chování dané rodiny programů. 

Rok
2021
Strany
191-209
Sborník
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Řada
Lecture Notes in Computer Science
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'21 (TACAS'21), Lucemburk, LU
ISBN
978-3-030-72015-5
Vydavatel
Springer International Publishing
Místo
Cham, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB12498,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Sebastian Junges and Joost-Pieter Katoen",
   title = "Inductive Synthesis for Probabilistic Programs Reaches New Horizons",
   pages = "191--209",
   booktitle = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
   series = "Lecture Notes in Computer Science",
   year = 2021,
   location = "Cham, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-72015-5",
   doi = "10.1007/978-3-030-72016-2\_11",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12498"
}
Nahoru