Login / Signup

Automatically learning formal models: an industrial case from autonomous driving development.

Yuvaraj SelvarajAshfaq FarooquiGhazaleh PanahandehMartin Fabian
Published in: MoDELS (Companion) (2020)
Keyphrases
  • formal models
  • machine learning
  • web services
  • knowledge acquisition
  • grand challenge
  • autonomous driving