LibreCat – Publication List Manager

Numerik und Steuerung

[1]

2022 | Conference Paper | LibreCat-ID: 30733

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

LibreCat

[1]

2022 | Conference Paper | LibreCat-ID: 30733

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

LibreCat