Sign in

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

Tsutomu KobayashiMartin BonduFuyuki Ishikawa
Published in: FM (2023)
Keyphrases
  • autonomous vehicles
  • event driven
  • real time
  • formal model
  • path planning
  • robot control
  • computer vision
  • obstacle avoidance
  • event processing
  • learning algorithm
  • probabilistic model
  • fuzzy logic
  • fault diagnosis