Bayesian Inference of Temporal Task Specifications from Demonstrations

Temporal logics have been used in prior research as a language forexpressing desirable system behaviors, and canimprovetheinterpretability ofspecifications if expressed as compositions of simpler templates (akin to those described by Dwyer et al. [2]).