Counterexample-guided inductive synthesis for probabilistic systems

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

London : Springer (2021)
Journal Article

In: Formal aspects of computing
Volume: 33
Issue: 4/5
Page(s)/Article-Nr.: 637-667