Skip to content
conftrace_

high-level programming

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

programmatic policies (1) interpretable policies (1) neural network (1) symbolic method (1) interpretable policy (1) formal verification (1) program synthesis (1) reinforcement learning (1)

Papers

Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019