Login / Signup
Counterexample-guided inductive synthesis for probabilistic systems.
Milan Ceska
Christian Hensel
Sebastian Junges
Joost-Pieter Katoen
Published in:
Formal Aspects Comput. (2021)
Keyphrases
</>
machine learning
expert systems
data sets
bayesian networks
distributed systems
knowledge based systems
neural network
real world
search algorithm
software engineering
data driven
intelligent systems
computer systems
retrieval systems