Team O2AC at the world robot summit 2020: towards jigless, high-precision assembly. - Felix von Drigalski; Cristian C. Beltran-Hernandez; Chisato Nakashima; Zhengtao Hu; Shuichi Akizuki; Toshio Ueshiba; Manabu Hashimoto; Kazumi Kasaura; Yukiyasu Domae; Weiwei Wan; Kensuke Harada (Adv. Robotics, 2022)

Uncertainty-Aware Manipulation Planning Using Gravity and Environment Geometry. - Felix von Drigalski; Kazumi Kasaura; Cristian C. Beltran-Hernandez; Masashi Hamaya; Kazutoshi Tanaka; Takamitsu Matsubara (IEEE Robotics Autom. Lett., 2022)

Prioritized Safe Interval Path Planning for Multi-Agent Pathfinding With Continuous Time on 2D Roadmaps. - Kazumi Kasaura; Mai Nishimura; Ryo Yonetani (IEEE Robotics Autom. Lett., 2022)

Periodic Multi-Agent Path Planning. - Kazumi Kasaura; Ryo Yonetani; Mai Nishimura (AAAI, 2023)

Homotopy-Aware Multi-Agent Path Planning in Plane. - Kazumi Kasaura (CoRR, 2023)

Benchmarking Actor-Critic Deep Reinforcement Learning Algorithms for Robotics Control With Action Constraints. - Kazumi Kasaura; Shuwa Miura; Tadashi Kozuno; Ryo Yonetani; Kenta Hoshino; Yohei Hosoe (IEEE Robotics Autom. Lett., 2023)

Swarm Body: Embodied Swarm Robots. - Sosuke Ichihashi; So Kuroki; Mai Nishimura; Kazumi Kasaura; Takefumi Hiraki; Kazutoshi Tanaka; Shigeo Yoshida (CHI, 2024)

Generation of Geodesics with Actor-Critic Reinforcement Learning to Predict Midpoints. - Kazumi Kasaura (CoRR, 2024)

Near-Optimal Policy Identification in Robust Constrained Markov Decision Processes via Epigraph Form. - Toshinori Kitamura; Tadashi Kozuno; Wataru Kumagai; Kenta Hoshino; Yohei Hosoe; Kazumi Kasaura; Masashi Hamaya; Paavo Parmas; Yutaka Matsuo (ICLR, 2025)

Provably Efficient RL under Episode-Wise Safety in Constrained MDPs with Linear Function Approximation. - Toshinori Kitamura; Arnob Ghosh; Tadashi Kozuno; Wataru Kumagai; Kazumi Kasaura; Kenta Hoshino; Yohei Hosoe; Yutaka Matsuo (CoRR, 2025)

Lean Formalization of Generalization Error Bound by Rademacher Complexity. - Sho Sonoda; Kazumi Kasaura; Yuma Mizuno; Kei Tsukamoto; Naoto Onda (CoRR, 2025)

LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving. - Naoto Onda; Kazumi Kasaura; Yuta Oriike; Masaya Taniguchi; Akiyoshi Sannai; Sho Sonoda (CoRR, 2025)