research
∙
07/19/2023
Learning Formal Specifications from Membership and Preference Queries
Active learning is a well-studied approach to learning formal specificat...
share
research
∙
06/15/2023
Who Needs to Know? Minimal Knowledge for Optimal Coordination
To optimally coordinate with others in cooperative games, it is often cr...
research
∙
03/29/2023
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
Advancements in simulation and formal methods-guided environment samplin...
research
∙
12/20/2021
Demonstration Informed Specification Search
This paper considers the problem of learning history dependent task spec...
research
∙
07/23/2020
Learning Differentiable Programs with Admissible Neural Heuristics
We study the problem of learning differentiable functions expressed as p...
research
∙
02/27/2019