Neural Action Policy Safety Verification: Applicablity Filtering.
Marcel VinzentJörg HoffmannPublished in: ICAPS (2024)
Keyphrases
- action selection
- network architecture
- neural network
- information filtering
- action space
- optimal policy
- model checking
- formal verification
- joint action
- formal methods
- verification method
- fitted q iteration
- safety analysis
- neural fuzzy
- safety critical
- adaptive filtering
- human actions
- policy makers
- learning rules
- biologically plausible
- median filter
- asynchronous circuits
- face verification
- nuclear power plant
- concurrent systems
- initial state
- allocation policy
- decision problems
- discounted reward
- partially observable domains