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
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"
}
Back to top