Neural Policy Safety Verification via Predicate Abstraction: CEGAR.
Marcel VinzentSiddhant SharmaJörg HoffmannPublished in: AAAI (2023)
Keyphrases
- network architecture
- optimal policy
- bounded model checking
- neural network
- high level
- hardware designs
- formal verification
- safety analysis
- model checking
- learning rules
- bio inspired
- artificial neural
- real time
- neural model
- access control
- policy making
- artificial intelligence
- neural fuzzy
- nonlinear predictive control
- neural computation
- decision theoretic planning
- nuclear power plant
- asymptotically optimal
- access control policies
- formal methods
- conflict resolution
- markov decision processes