Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version).

Zhenya Zhang Ichiro Hasuo Paolo Arcaini

Published in: CoRR (2019)

Keyphrases

multi armed bandits
bandit problems
boolean functions
inference rules
optimal solution
multi class
real valued