Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification

Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science