Takuma Kinugawa

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 3

Top Topics

Linear Temporal Logic

Temporally Extended Goals

Expected Reward

Bounded Model Checking

Top Venues

IEEE Control. Syst. Lett.

IEICE Trans. Inf. Syst.

Publications

Takuma Kinugawa, Toshimitsu Ushio
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. IEICE Trans. Inf. Syst. (10) (2022)
Takuma Kinugawa, Toshimitsu Ushio
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. IEEE Control. Syst. Lett. 6 (2022)
Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. CoRR (2019)