R Kianfar, P Falcone, J Fredriksson - IEEE Intelligent Transportation …, 2013 - infona.pl
In this paper, a set based approach is presented for safety verification and performance
analysis of automated driving systems. As an example, reachability analysis technique is …