ML Anthology

Larsen, Kim

1 publications

NeurIPS 2023 Safety Verification of Decision-Tree Policies in Continuous Time Christian Schilling, Anna Lukina, Emir Demirović, Kim Larsen