Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2858464
Abstract: This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a “large enough” controlled invariant set either for the actual system… read more here.
Keywords: controlled invariant; control; corner cases; control synthesis ... See more keywords