Sign in

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.

Jean-Baptiste HorelPhilippe LedentLina MarssoLucie MullerChristian LaugierRadu MateescuAnshul PaigwarAlessandro RenzagliaWendelin Serwe
Published in: J. Intell. Robotic Syst. (2023)
Keyphrases
  • formal model
  • autonomous driving
  • grand challenge
  • stereo vision
  • vision algorithms
  • formal models
  • security properties
  • security patterns
  • predicate calculus
  • urban traffic