Probabilistic Safety for Hard-to-Formalize Constraints via Conformal Neural CBFs. - Koki Hirano; Naoya Takeishi; Takehisa Yairi (CDC, 2025)

Conformal Koopman for Embedded Nonlinear Control with Statistical Robustness: Theory and Real-World Validation. - Koki Hirano; Hiroyasu Tsukamoto (CoRR, 2026)