Probabilistic reach-avoid for Bayesian neural networks
From MaRDI portal
Publication:6592977
Recommendations
- Learning safe neural network controllers with barrier certificates
- Learning safe neural network controllers with barrier certificates
- A learner-verifier framework for neural network controllers and certificates of stochastic systems
- Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints
- Learning‐based adaptive‐scenario‐tree model predictive control with improved probabilistic safety using robust Bayesian neural networks
Cites work
- Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes
- Data-driven and model-based verification via Bayesian identification and reachability analysis
- Deep learning
- Deep reinforcement learning with temporal logics
- Efficiency through uncertainty
- Feedback systems: an introduction for scientists and engineers.
- Formal verification of neural network controlled autonomous systems
- scientific article; zbMATH DE number 7255736 (Why is no real title available?)
- Machine learning. A probabilistic perspective
- MCMC using Hamiltonian dynamics
- Probabilistic guarantees for safe deep reinforcement learning
- Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Run-time optimization for learned controllers through quantitative games
- Stochastic model checking
- Sugli integrali multipli.
- Verifiably Safe Off-Model Reinforcement Learning
This page was built for publication: Probabilistic reach-avoid for Bayesian neural networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6592977)
