Verification of Uncertain POMDPs Using Barrier Certificates.
Mohamadreza AhmadiMurat CubuktepeNils JansenUfuk TopcuPublished in: Allerton (2018)
Keyphrases
- reinforcement learning
- decision making
- model checking
- partially observable markov decision processes
- belief state
- markov decision processes
- public key
- dynamic programming
- incomplete information
- face verification
- possibility theory
- distributed constraint optimization
- false acceptance rate
- partially observed
- formal verification
- signature verification
- belief space
- data sets
- sufficient conditions
- uncertain databases
- decision trees
- public key infrastructure
- expected reward
- point based value iteration