Fakulta informačních technologií VUT v Brně

Detail publikace

Counterexample-Driven Synthesis for Probabilistic Program Sketches

ČEŠKA Milan, HENSE Christian, JUNGES Sebastian a 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, s. 1-19.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Hense Christian (RWTH Aachen University)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Rok
2019 (v tisku)
Strany
1-19
Sborník
Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019
Konference
23rd International Symposium on Formal Methods,, Porto, PT
Vydavatel
Springer International Publishing
Místo
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"
}
Nahoru