Ichiro Hasuo

Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification

2019 · Lecture notes in computer science

Hybrid system falsification is an actively studied topic, as a scalable quality assurance methodology for real-world cyber-physical systems. In falsification, one employs stochastic hill-climbing optimization to quickly find a counterexample input to a black-box system …