Shumpei Tokuda

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Mazurkiewicz Traces

Temporal Planning

Heuristic Search

Top Venues

Publications

Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano
Robust Signal Temporal Logic-based Planning for Uncertain External Events. ROBIO (2023)
Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano
Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator. IECON (2022)
Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano
Zeroing Control Barrier Function with Time Scale Transformation for Time Interval Signal Temporal Logic Task. CCTA (2022)
Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano
Convex Approximation for LTL-based Planning. IROS (2021)
Mizuho Katayama, Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama
Fast LTL-Based Flexible Planning for Dual-Arm Manipulation. IROS (2020)
Shumpei Tokuda, Mizuho Katayama, Masaki Yamakita, Hiroyuki Oyama
Generating New Lower Abstract Task Operator using Grid-TLI. IROS (2020)
Shumpei Tokuda, Masaki Yamakita
Hierarchical Linearization and Output Zeroing Control for Wheeled Robots. SICE (2019)