André Platzer on Verifying Cyber-Physical Systems

原題: André Platzer on Verifying Cyber-Physical Systems / Conversations

原文クレジット（WordPress投稿者表示）: Luke Muehlhauser / 掲載元: Machine Intelligence Research Institute (intelligence.org) / 原文公開日: 2014-02-15

翻訳許諾: 未取得（第三者・共同権利者の個別確認が必要な項目）

この項目は日本語訳を掲載していません。権利者から翻訳許諾を得られていないためです。かわりに原文へのリンクを掲載します。

許諾を取得できた項目から、この案内を日本語訳に差し替えていきます。