Publications

Selected works are listed below. For a complete list, see CV or researchmap.

Recent preprints

• M. Kishida, “Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR,” arxiv

Last few years (fetched from researchmap)