Skip to content
conftrace_

specification inference

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

boolean logic (1) task specification (1) contrastive explanation (1) reward inference (1) linear temporal logic (1) task planning (1) learning from demonstration (1) reward learning (1) bayesian inference (1) maximum entropy (1)

Papers

Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations IJCAI 2019 Learning Task Specifications from Demonstrations NeurIPS 2018