acm sigbed
|
emsoft
|
participants
Gidon Ernst
EMSOFT 2018: 18th International Conference on Embedded Software
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search
Zhenya Zhang
,
Gidon Ernst
,
Sean Sedwards
,
Paolo Arcaini
, and
Ichiro Hasuo
10.1109/TCAD.2018.2858463
https://arxiv.org/pdf/1803.06276.pdf