Formalisation and algorithmic approach to the automated driving validation problem

Jan Erik Stellet, Tino Brade, Alexander Poddey, Stefan Jesenski, Wolfgang Branz. Formalisation and algorithmic approach to the automated driving validation problem. In 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019. pages 45-51, IEEE, 2019. [doi]

@inproceedings{StelletBPJB19,
  title = {Formalisation and algorithmic approach to the automated driving validation problem},
  author = {Jan Erik Stellet and Tino Brade and Alexander Poddey and Stefan Jesenski and Wolfgang Branz},
  year = {2019},
  doi = {10.1109/IVS.2019.8813894},
  url = {https://doi.org/10.1109/IVS.2019.8813894},
  researchr = {https://researchr.org/publication/StelletBPJB19},
  cites = {0},
  citedby = {0},
  pages = {45-51},
  booktitle = {2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019},
  publisher = {IEEE},
  isbn = {978-1-7281-0560-4},
}