Collaborated with:
I.Hasuo P.Arcaini
Talks about:
connect (1) boolean (1) system (1) hybrid (1) falsif (1) bandit (1) multi (1) arm (1)
Person: Zhenya Zhang
DBLP: Zhang:Zhenya
Contributed to:
Wrote 1 papers:
- CAV-2019-ZhangHA #hybrid #multi
- Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification (ZZ, IH, PA), pp. 401–420.