7 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…