conftrace_

belief-based approach

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

oracle-guided synthesis (1) multi-objective specification (1) inductive synthesis (1) finite-state controller (1) partially observable markov decision process (1)

Papers

Inductive synthesis of finite-state controllers for POMDPs UAI 2022