Safety Verification of Decision-Tree Policies in Continuous Time

Christian Schilling, Anna Lukina, Emir Demirovic, K. G. Larsen
2/12/2026
DOISemantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 2 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{schilling2026safety,
  title  = {Safety Verification of Decision-Tree Policies in Continuous Time},
  author = {Christian Schilling and Anna Lukina and Emir Demirovic and K. G. Larsen},
  year   = {2026},
  doi    = {10.52202/075280-0650},
  url    = {https://doi.org/10.52202/075280-0650},
  journal = {NEURIPS 2023 2023}
}

Discussion