Safety Verification of Decision-Tree Policies in Continuous Time.
Christian SchillingAnna LukinaEmir DemirovicKim Guldstrand LarsenPublished in: NeurIPS (2023)
Keyphrases
- decision trees
- predictive accuracy
- logistic regression
- model checking
- decision tree induction
- signature verification
- decision tree algorithm
- naive bayes
- optimal policy
- optimal control
- markov chain
- markov processes
- machine learning algorithms
- safety analysis
- machine learning
- decision tree learning
- decision tree classifiers
- dynamical systems
- face verification
- neural network
- tree construction
- control policy
- formal verification
- feature construction
- random forest
- formal methods
- information gain
- ensemble methods
- attribute selection
- classification trees
- state space
- dynamic programming
- control system
- safety critical
- decision tree algorithms
- management policies