conftrace_

counter-example guided

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

specification conformance (1) reactive system (1) controller verification (1) control plane synthesis (1) inductive synthesis (1) network heterogeneity (1) counterexample guided inductive synthesis (1) safety specification (1) environment modeling (1) policy refinement (1)

Papers

Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021 Counterexample Guided RL Policy Refinement Using Bayesian Optimization NeurIPS 2021 Counter-example Guided Learning of Bounds on Environment Behavior CoRL 2019