Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments.
Alexander W. GoodallFrancesco BelardinelliPublished in: CoRR (2024)
Keyphrases
- quality guarantees
- piecewise linear
- data driven
- probabilistic model
- real world
- dynamic environments
- context sensitive
- discrete valued
- bayesian networks
- probability theory
- databases
- multi agent
- nearest neighbor
- generative model
- information theoretic
- posterior probability
- data mining
- continuous domains
- exact and approximate