Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD

TitleTwo-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD
Publication TypeConference Proceedings
Year of Conference2018
AuthorsZhang, Z., G. Ernst, S. Sedwards, P. Arcani, and I. Hasuo
Conference NameACM International Conference on Embedded Software (EMSOFT 2018)
Series TitleTransactions on Computer-Aided Design of Integrated Circuits and Systems
Volume37
Edition11
Pagination2894–2905
PublisherIEEE
Conference LocationTorino, Italy
URLhttps://ieeexplore.ieee.org/document/8418450
Short TitleTCAD
Refereed DesignationRefereed

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.