Detail publikace

Inductive Synthesis for Probabilistic Programs Reaches New Horizons

ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. Inductive Synthesis for Probabilistic Programs Reaches New Horizons. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2021. p. 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
anglicky
Autoři
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
JUNGES, S.
KATOEN, J.
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
DOI
10.1007/978-3-030-72016-2_11
EID Scopus
2-s2.0-85113594817
BibTeX 
@inproceedings{BUT171484,
  author="ANDRIUSHCHENKO, R. and ČEŠKA, M. and JUNGES, S. and KATOEN, J.",
  title="Inductive Synthesis for Probabilistic Programs Reaches New Horizons",
  booktitle="International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
  year="2021",
  series="Lecture Notes in Computer Science",
  pages="191--209",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-72016-2\{_}11",
  isbn="978-3-030-72015-5"
}
Nahoru