Formalisation and algorithmic approach to the automated driving validation problem | IEEE Conference Publication | IEEE Xplore