Faculty of Information Technology, BUT

Publication Details

Counterexample-Driven Synthesis for Probabilistic Program Sketches

ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19.
Type
conference paper
Language
english
Authors
Češka Milan, RNDr., Ph.D. (DITS FIT BUT)
Hense Christian (RWTH Aachen University)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Published
2019 (in print)
Pages
1-19
Proceedings
Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019
Conference
23rd International Symposium on Formal Methods,, Porto, PT
Publisher
Springer International Publishing
Place
Porto, PT
BibTeX
@INPROCEEDINGS{FITPUB12010,
   author = "Milan \v{C}e\v{s}ka and Christian Hense and Sebastian Junges and Joost-Pieter Katoen",
   title = "Counterexample-Driven Synthesis for Probabilistic Program Sketches",
   pages = "1--19",
   booktitle = "Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019",
   year = 2019,
   location = "Porto, PT",
   publisher = "Springer International Publishing",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12010"
}
Back to top