conftrace_

multi-objective specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

oracle-guided synthesis (1) belief-based approach (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