Verification of indefinite-horizon POMDPs.
Alexander BorkSebastian JungesJoost-Pieter KatoenTim QuatmannPublished in: CoRR (2020)
Keyphrases
- reinforcement learning
- face verification
- model checking
- partially observable markov decision processes
- dynamic programming
- signature verification
- machine learning
- partially observable
- belief state
- deductive databases
- markov decision processes
- artificial intelligence
- genetic algorithm
- mobile robot
- multi agent
- formal analysis
- real time
- formal verification
- constraint databases
- asynchronous circuits