Login / Signup

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle.

Andrea DomeniciAdriano FagioliniMaurizio Palmieri
Published in: SEFM Workshops (2017)
Keyphrases
  • formal verification
  • autonomous vehicles
  • model checking
  • model checker
  • automated verification
  • cooperative
  • path planning
  • symbolic model checking
  • long range
  • obstacle avoidance
  • robot control