Publication Details

GPU-Accelerated Synthesis of Probabilistic Programs

ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír and VOJNAR Tomáš. GPU-Accelerated Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham, 2022, pp. 256-266. ISBN 978-3-031-25312-6.

Type

conference paper

Language

english

Authors

Andriushchenko Roman, Ing. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Marcin Vladimír, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)

Published

2022

Pages

256-266

Proceedings

International Conference on Computer Aided Systems Theory (EUROCAST'22)

Series

Lecture Notes in Computer Science

Conference

Eurocast 2022 -- 18th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES

ISBN

978-3-031-25312-6

Place

Cham, DE

EID Scopus

2-s2.0-85151149728

BibTeX

@INPROCEEDINGS{FITPUB12778,
   author = "Roman Andriushchenko and Milan \v{C}e\v{s}ka and Vladim\'{i}r Marcin and Tom\'{a}\v{s} Vojnar",
   title = "GPU-Accelerated Synthesis of Probabilistic Programs",
   pages = "256--266",
   booktitle = "International Conference on Computer Aided Systems Theory (EUROCAST'22)",
   series = "Lecture Notes in Computer Science",
   year = 2022,
   location = "Cham, DE",
   ISBN = "978-3-031-25312-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12778"
}