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.. Lecture Notes of Computer Science. Porto: Springer International Publishing, 2019, s. 101-120. ISBN 978-3-030-30941-1.
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
Strany
101-120
Sborník
Proceedings of the 23rd International Symposium on Formal Methods.
Řada
Lecture Notes of Computer Science
Konference
23rd International Symposium on Formal Methods,, Porto, PT
ISBN
978-3-030-30941-1
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 = "101--120",
   booktitle = "Proceedings of the 23rd International Symposium on Formal Methods.",
   series = "Lecture Notes of Computer Science",
   year = 2019,
   location = "Porto, PT",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-30941-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12010"
}
Nahoru