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.
Název česky
Syntéza pravděpodobnostních programů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Hense Christian (RWTH Aachen University)
Junges Sebastian (RWTH Aachen University)
Katoen Joost-Pieter (RWTH)
Abstrakt

Článek se věnuje induktivní syntéze pravděpodobnostních programů s využitím protipříkladů, které dovolují efektivně prohledávat prostor přípustných řešení.

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
DOI
EID Scopus
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",
   doi = "10.1007/978-3-030-30942-8\_8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12010"
}
Nahoru