Learning temporal logic formulas from suboptimal demonstrations: theory and experiments

Document Details

Document Type: Pub Defense Publication
Publication Date: Jul 30, 2021
Source ID: 10.1007/s10514-021-10004-x

Entities

People

Dmitry Berenson
Glen Chou
Necmiye Ozay

Organizations

National Science Foundation
United States Department of Defense