Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems. Formal Asp. Comput., 33(4):637-667, 2021. [doi]
@article{0002HJK21,
title = {Counterexample-guided inductive synthesis for probabilistic systems},
author = {Milan Ceska 0002 and Christian Hensel and Sebastian Junges and Joost-Pieter Katoen},
year = {2021},
doi = {10.1007/s00165-021-00547-2},
url = {https://doi.org/10.1007/s00165-021-00547-2},
researchr = {https://researchr.org/publication/0002HJK21},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {33},
number = {4},
pages = {637-667},
}