Safety verification of decision-tree policies in continuous time. Schilling, C., Lukina, A., Demirović, E., & Larsen, K. Advances in Neural Information Processing Systems, 2024. Spotlight (top 3%)![Safety verification of decision-tree policies in continuous time [link]](https://bibbase.org/img/filetypes/link.svg "link")
Doi Github Video bibtex 10 downloads @article{schilling2024safety,
title={Safety verification of decision-tree policies in continuous time},
author={Schilling, Christian and Lukina, Anna and Demirovi{\'c}, Emir and Larsen, Kim},
journal={Advances in Neural Information Processing Systems},
volume={36},
year={2024},
note={Spotlight (top 3%)},
url_doi={https://dl.acm.org/doi/10.5555/3666122.3666772},
url_GitHub={https://github.com/VeriXAI/Safety-Verification-of-Decision-Tree-Policies-in-Continuous-Time},
url_Video={https://recorder-v3.slideslive.com/?share=87572&s=5844cc74-c2c2-4916-876d-c1fb3ae44e46}
}
Downloads: 10
{"_id":"Zg2aw9dQXQGxnasif","bibbaseid":"schilling-lukina-demirovi-larsen-safetyverificationofdecisiontreepoliciesincontinuoustime-2024","author_short":["Schilling, C.","Lukina, A.","Demirović, E.","Larsen, K."],"bibdata":{"bibtype":"article","type":"article","title":"Safety verification of decision-tree policies in continuous time","author":[{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["Lukina"],"firstnames":["Anna"],"suffixes":[]},{"propositions":[],"lastnames":["Demirović"],"firstnames":["Emir"],"suffixes":[]},{"propositions":[],"lastnames":["Larsen"],"firstnames":["Kim"],"suffixes":[]}],"journal":"Advances in Neural Information Processing Systems","volume":"36","year":"2024","note":"Spotlight (top 3%)","url_doi":"https://dl.acm.org/doi/10.5555/3666122.3666772","url_github":"https://github.com/VeriXAI/Safety-Verification-of-Decision-Tree-Policies-in-Continuous-Time","url_video":"https://recorder-v3.slideslive.com/?share=87572&s=5844cc74-c2c2-4916-876d-c1fb3ae44e46","bibtex":"@article{schilling2024safety,\n title={Safety verification of decision-tree policies in continuous time},\n author={Schilling, Christian and Lukina, Anna and Demirovi{\\'c}, Emir and Larsen, Kim},\n journal={Advances in Neural Information Processing Systems},\n volume={36},\n year={2024},\n note={Spotlight (top 3%)},\n url_doi={https://dl.acm.org/doi/10.5555/3666122.3666772},\n url_GitHub={https://github.com/VeriXAI/Safety-Verification-of-Decision-Tree-Policies-in-Continuous-Time},\n url_Video={https://recorder-v3.slideslive.com/?share=87572&s=5844cc74-c2c2-4916-876d-c1fb3ae44e46}\n}\n\n","author_short":["Schilling, C.","Lukina, A.","Demirović, E.","Larsen, K."],"bibbaseid":"schilling-lukina-demirovi-larsen-safetyverificationofdecisiontreepoliciesincontinuoustime-2024","role":"author","urls":{" doi":"https://dl.acm.org/doi/10.5555/3666122.3666772"," github":"https://github.com/VeriXAI/Safety-Verification-of-Decision-Tree-Policies-in-Continuous-Time"," video":"https://recorder-v3.slideslive.com/?share=87572&s=5844cc74-c2c2-4916-876d-c1fb3ae44e46"},"metadata":{"authorlinks":{}},"downloads":10},"bibtype":"article","biburl":"https://bibbase.org/f/DgyM42HZeFuMuoqny/uploaded.bib","dataSources":["DvtkfMrf7vkMYxo4r","DemgDoocsmikyJJo7"],"keywords":[],"search_terms":["safety","verification","decision","tree","policies","continuous","time","schilling","lukina","demirović","larsen"],"title":"Safety verification of decision-tree policies in continuous time","year":2024,"downloads":10}