Publication Details
GPU-Accelerated Synthesis of Probabilistic Programs
ANDRIUSHCHENKO, R.; ČEŠKA, M.; MARCIN, V.; VOJNAR, T. GPU-Accelerated Synthesis of Probabilistic Programs. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: 2022. p. 256-266. ISBN: 978-3-031-25312-6.
Type
conference paper
Language
English
Authors
Andriushchenko Roman, Ing.
(DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Marcin Vladimír, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Češka Milan, doc. RNDr., Ph.D. (DITS)
Marcin Vladimír, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Published
2022
Pages
256–266
Proceedings
International Conference on Computer Aided Systems Theory (EUROCAST'22)
Series
Lecture Notes in Computer Science
ISBN
978-3-031-25312-6
Place
Cham
EID Scopus
BibTeX
@inproceedings{BUT178306,
author="Roman {Andriushchenko} and Milan {Češka} and Vladimír {Marcin} and Tomáš {Vojnar}",
title="GPU-Accelerated Synthesis of Probabilistic Programs",
booktitle="International Conference on Computer Aided Systems Theory (EUROCAST'22)",
year="2022",
series="Lecture Notes in Computer Science",
pages="256--266",
address="Cham",
isbn="978-3-031-25312-6"
}