Sign in

Formal Development of Safe Automated Driving Using Differential Dynamic Logic.

Yuvaraj SelvarajWolfgang AhrendtMartin Fabian
Published in: IEEE Trans. Intell. Veh. (2023)
Keyphrases
  • dynamic logic
  • software engineering
  • semi automated
  • case study
  • development process
  • neural network
  • e learning
  • information processing
  • modal logic
  • fully automated