Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications Takuma KINUGAWAToshimitsu USHIO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2022/10/01 Vol. E105-DNo. 10pp. 1658-1664 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: optimal control, spatio-temporal logic, spatially distributed system,