Model-based falsification and safety evaluation of autonomous systems

Date:

Catch the video of the talk here.