Verification of Uncertain POMDPs Using Barrier Certificates.
Mohamadreza AhmadiMurat CubuktepeNils JansenUfuk TopcuPublished in: CoRR (2018)
Keyphrases
- reinforcement learning
- access control
- distributed constraint optimization
- decision making
- model checking
- incomplete information
- belief state
- partially observable markov decision processes
- formal verification
- markov decision processes
- continuous state
- public key
- partially observable
- finite state
- partially observed
- asynchronous circuits
- data sets
- sufficient conditions
- search algorithm
- neural network