Machine-readable specification and intelligent cloud-based execution of logical test cases for automated driving functions. - Max-Arno Meyer; Mehdi Zouari; Sebastian Bannenberg; Markus Deppe; Sébastien Christiaens; Sung-Yong Lee; Jakob Andert (Autom. Softw. Eng., 2025)