Machine Learning

Verification of safety critical control policies using kernel methods
Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos