Hierarchical Linearization and Output Zeroing Control for Wheeled Robots. - Shumpei Tokuda; Masaki Yamakita (SICE, 2019)

Fast LTL-Based Flexible Planning for Dual-Arm Manipulation. - Mizuho Katayama; Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama (IROS, 2020)

Generating New Lower Abstract Task Operator using Grid-TLI. - Shumpei Tokuda; Mizuho Katayama; Masaki Yamakita; Hiroyuki Oyama (IROS, 2020)

Convex Approximation for LTL-based Planning. - Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama; Rin Takano (IROS, 2021)

Zeroing Control Barrier Function with Time Scale Transformation for Time Interval Signal Temporal Logic Task. - Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama; Rin Takano (CCTA, 2022)

Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator. - Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama; Rin Takano (IECON, 2022)

Robust Signal Temporal Logic-based Planning for Uncertain External Events. - Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama; Rin Takano (ROBIO, 2023)

Temporal-logic-based Exploration and Execution of Markov Decision Processes using Recursive Gaussian Processes. - Shumpei Tokuda; Masaki Yamakita; Hiroyuki Oyama; Rin Takano (CASE, 2024)