Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics

Jianing Zhao, Bowen Ye, Xinyi Yu +2

We investigate the task and motion planning problem for dynamical systems under signal temporal logic (STL) specifications. Existing works on STL control synthesis mainly focus on…