Login / Signup

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving.

Bingqing XuQin LiTong GuoDehui Du
Published in: IEEE Access (2019)
Keyphrases
  • desirable properties
  • formal analysis
  • formal methods
  • intelligent vehicles
  • model checking
  • formal language
  • real time
  • databases
  • natural language
  • expert systems
  • traffic accidents