Detail publikace

GPU-Accelerated Synthesis of Probabilistic Programs

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

Originální název

GPU-Accelerated Synthesis of Probabilistic Programs

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Autoři

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

Vydáno

30. 6. 2022

Místo

Cham

ISBN

978-3-031-25312-6

Kniha

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

Edice

Lecture Notes in Computer Science

Strany od

256

Strany do

266

Strany počet

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