Probabilistic reach-avoid for Bayesian neural networks

INIS

• neural networks 100%
• policy 100%
• probabilistic estimation 100%
• probability 50%
• safety 50%
• control 37%
• dynamics 37%
• benchmarks 25%
• synthesis 25%
• environment 25%
• algorithms 25%
• specifications 25%
• prediction 12%
• comparative evaluations 12%
• learning 12%
• data 12%
• solutions 12%
• stochastic processes 12%
• iterative methods 12%
• certification 12%

Computer Science

• Probability 100%
• Neural Network 100%
• Control 75%
• Model 50%
• Neural Network Model 50%
• Synthesis Algorithm 50%
• And-States 50%
• Benchmark 50%
• Model-Based Reinforcement Learning 25%
• Recursion 25%
• Certification 25%
• Network Dynamic 25%
• Computing 25%

Keyphrases

• Safety Probability 20%
• Complementarity Problem 20%