TU Delft, Delft, The Netherlands; Aalborg University, Aalborg, Denmark
Christian Schilling, Anna Lukina, Emir Demirović, Kim Larsen
safety verification;decision tree;reinforcement learning;controller;continuous time
Safety Verification of Decision-Tree Policies in Continuous Time