Inductive synthesis of finite-state controllers for POMDPs.
Roman AndriushchenkoMilan CeskaSebastian JungesJoost-Pieter KatoenPublished in: UAI (2022)
Keyphrases
- bayesian networks
- functional programs
- reinforcement learning
- belief state
- program synthesis
- inductive learning
- inductive inference
- inductive logic programming
- dynamic programming
- rule learning
- partially observable markov decision processes
- machine learning
- knowledge representation
- markov decision processes
- inductive reasoning
- optimal policy
- real time
- concept learning
- information systems
- partially observable
- approximate solutions
- partial observability
- data sets