Publication detail

GPU-Accelerated Synthesis of Probabilistic Programs

ANDRIUSHCHENKO, R. ČEŠKA, M. MARCIN, V. VOJNAR, T.

Original Title

GPU-Accelerated Synthesis of Probabilistic Programs

Type

conference paper

Language

English

Authors

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MARCIN, V.; VOJNAR, T.

Released

30. 6. 2022

Location

Cham

ISBN

978-3-031-25312-6

Book

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

Edition

Lecture Notes in Computer Science

Pages from

256

Pages to

266

Pages count

11

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"
}