MISC

2017年12月

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

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