TitleFast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Publication TypeConference Proceedings
Year of Conference2019
AuthorsErnst, G., S. Sedwards, Z. Zhang, and I. Hasuo
Conference Name16th International Conference on Quantitative Evaluation of Systems (QEST 2019)
Series TitleLecture Notes in Computer Science
Conference LocationGlasgow, Scotland
Short TitleLNCS
Refereed DesignationRefereed

WISE Lab logo


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

For more information, visit Open positions.