Counterexample-guided inductive synthesis for probabilistic systems

Češka, Milan; Hensel, Hans Christian; Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter

Berlin ; Heidelberg] : Springer (2021)
Journal Article

In: Formal aspects of computing
Page(s)/Article-Nr.: 31 Seiten

Identifier