Harmonic WaveGAN: GAN-Based Speech Waveform Generation Model with Harmonic Structure Discriminator. - Kazuki Mizuta; Tomoki Koriyama; Hiroshi Saruwatari (Interspeech, 2021)

Safe Persistent Coverage Control with Control Barrier Functions Based on Sparse Bayesian Learning. - Kazuki Mizuta; Yasuhide Hirohata; Junya Yamauchi; Masayuki Fujita (CCTA, 2022)

CoBL-Diffusion: Diffusion-Based Conditional Robot Planning in Dynamic Environments Using Control Barrier and Lyapunov Functions. - Kazuki Mizuta; Karen Leung (IROS, 2024)

Unified Generation-Refinement Planning: Bridging Flow Matching and Sampling-Based MPC. - Kazuki Mizuta; Karen Leung (CoRR, 2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification. - Parv Kapoor; Kazuki Mizuta; Eunsuk Kang; Karen Leung (IEEE Robotics Autom. Lett., 2025)