Christian Schilling 0001, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen. Safety Verification of Decision-Tree Policies in Continuous Time. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]
Abstract is missing.