Artikel,

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

, und .
Arch. Formal Proofs, (2020)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen