Verification of Indefinite-Horizon POMDPs.
Alexander BorkSebastian JungesJoost-Pieter KatoenTim QuatmannPublished in: ATVA (2020)
Keyphrases
- reinforcement learning
- model checking
- deductive databases
- verification method
- belief state
- partially observable
- signature verification
- formal verification
- database
- distributed constraint optimization
- state space
- face verification
- partially observable markov decision processes
- belief space
- point based value iteration
- continuous state
- constraint databases
- finite state
- markov decision processes
- learning algorithm
- data sets