Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. - Takuma Kinugawa; Kazumune Hashimoto; Toshimitsu Ushio (CoRR, 2019)

Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. - Takuma Kinugawa; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. - Takuma Kinugawa; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2022)