Probabilistic black-box reachability checking (extended version).

Bernhard K. Aichernig Martin Tappler

Published in: Formal Methods Syst. Des. (2019)

Keyphrases

black box
black boxes
white box
rule extraction
generative model
test cases
high level
hybrid systems
integration testing
probabilistic model
neural network
state space
computational intelligence
data sets
data model
bayesian networks
uncertain data
databases