Detail publikace

Counterexample-Driven Synthesis for Probabilistic Program Sketches

ČEŠKA, M.; HENSE, C.; JUNGES, S.; KATOEN, J. 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. p. 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
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
HENSE, C.
JUNGES, S.
KATOEN, J.
Klíčová slova

probabilistic programs, synthesis, counter-examples, SMT solving

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
ISBN
978-3-030-30941-1
Vydavatel
Springer International Publishing
Místo
Porto
DOI
10.1007/978-3-030-30942-8_8
EID Scopus
2-s2.0-85076120855
BibTeX 
@inproceedings{BUT161455,
  author="ČEŠKA, M. and HENSE, C. and JUNGES, S. and KATOEN, J.",
  title="Counterexample-Driven Synthesis for Probabilistic Program Sketches",
  booktitle="Proceedings of the 23rd International Symposium on Formal Methods.",
  year="2019",
  series="Lecture Notes of Computer Science",
  pages="101--120",
  publisher="Springer International Publishing",
  address="Porto",
  doi="10.1007/978-3-030-30942-8\{_}8",
  isbn="978-3-030-30941-1"
}
Nahoru