Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 165-181, Springer, 2019. [doi]
Abstract is missing.