Skip to content
conftrace_

counterexample-guided training

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic specification (1) counterexample-guided learning (1) monotonic neural network (1) strategy synthesis (1) relu neural network (1) monotonicity constraint (1) inductive bia (1) recurrent neural network (1) constraint satisfaction (1) partially observable markov decision process (1)

Papers

Counterexample-Guided Learning of Monotonic Neural Networks NeurIPS 2020 Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks IJCAI 2019