Verification of safety critical control policies using kernel methods
N. Vertovec, S. Ober-Blöbaum, K. Margellos, in: 2022, pp. 1870–1875.