MISC

2017年12月

ハイブリッドシステムの可到達集合の精度保証

第1回精度保証付き数値計算の実問題への応用研究集会 (NVR)