Login / Signup

Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.

Tsutomu KobayashiMartin BonduFuyuki Ishikawa
Published in: CoRR (2024)
Keyphrases
  • autonomous vehicles
  • event driven
  • real time
  • formal model
  • path planning
  • obstacle avoidance
  • neural network
  • cooperative
  • evolutionary algorithm
  • formal methods