Login / Signup

Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method.

Tatsuya IgarashiMasaki NakamuraKazutoshi Sakakibara
Published in: SEKE (2022)
Keyphrases
  • pairwise
  • formal verification
  • machine learning
  • control system
  • autonomous vehicles