Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications

Kinugawa, T; Ushio, T

Ushio, T (通讯作者),Osaka Univ, Grad Sch Engn Sci, Toyonaka 5608531, Japan.

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022; E105D (10): 1658