conftrace_

oracle-guided synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

belief-based approach (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