Safety Verification of Decision-Tree Policies in Continuous Time - Schilling, Christian; Lukina, Anna; Demirović, Emir; Larsen, Kim (Advances in Neural Information Processing Systems, 2023)