ニューラルネットワークを使用した量的検証

ニューラルネットワークを使用して確率プログラムと確率的ダイナミックモデルの量的検証を行う方法について説明します。