conftrace_

inductive synthesis

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

program synthesis (2) network heterogeneity (1) counter-example guided (1) oracle-guided synthesis (1) belief-based approach (1) multi-objective specification (1) recursive equation (1) control plane synthesis (1) counterexample guided inductive synthesis (1) finite-state controller (1)

Papers

Inductive synthesis of finite-state controllers for POMDPs UAI 2022 Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021 Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach JMLR 2006