In this paper, we introduce a new boundary control synthesis problem with temporal logic specifications for a wide range of linear partial differential equations. We leverage the finite element method (FEM) to reduce the problem to a control problem …
In this paper, we focus on robot motion planning from timed temporal logic specifications. We propose a sampling-based algorithm and an associated language-guided biasing scheme. We leverage the notion of temporal relaxation of time-window temporal …
This paper introduces a framework for inference of timed temporal logic properties from data. The dataset is given as a finite set of pairs of finite-time system traces and labels, where the labels indicate whether the traces exhibit some desired …