Author of the publication

Formalisation and algorithmic approach to the automated driving validation problem.

, , , , and . IV, page 45-51. IEEE, (2019)