Sign in

Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S).

Yifan WangMasaki NakamuraKazutoshi SakakibaraYuki Okura
Published in: SEKE (2023)
Keyphrases
  • control system
  • formal specification
  • formal methods
  • machine learning
  • case study
  • mathematical model
  • model checking
  • temporal logic
  • autonomous vehicles