Kazumi Kasaura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral. | Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda |
| 2025 | ICLR | 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 |
| 2024 | CHI | Swarm Body: Embodied Swarm Robots. | Sosuke Ichihashi, So Kuroki, Mai Nishimura, Kazumi Kasaura, Takefumi Hiraki, Kazutoshi Tanaka, Shigeo Yoshida |
| 2023 | AAAI | Periodic Multi-Agent Path Planning. | Kazumi Kasaura, Ryo Yonetani, Mai Nishimura |