2A2-E13 モデルベース開発とリスク分析の枠組みによる環境ロバスト性とシステム信頼性を備えた屋外自律移動ロボットQUVICの開発 | AMiner