Takuma Kinugawa

According to our database, Takuma Kinugawa authored at least 3 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Takuma Kinugawa, Toshimitsu Ushio

IEICE Trans. Inf. Syst., October, 2022

Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints.

Takuma Kinugawa, Toshimitsu Ushio

IEEE Control. Syst. Lett., 2022

2019

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints.

Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio

CoRR, 2019