.REW - ファイル拡張子
REWはMRMCマルコフ報酬モデルチェッカー定義ファイルです。
機能 | 説明 |
---|---|
ファイル拡張子 | .rew |
フォーマット | N/A |
開発者 | RWTH Aachen University |
カテゴリー | Various data |
REWはMRMCマルコフ報酬モデルチェッカー定義ファイルです。
機能 | 説明 |
---|---|
ファイル拡張子 | .rew |
フォーマット | N/A |
開発者 | RWTH Aachen University |
カテゴリー | Various data |
REWファイル拡張機能は、MRMC(Markov Reward Model Checker)に関連付けられています。これは、THIプログラムの離散時間と連続時間に使用されるモデルチェッカーです。 .REWファイルには、状態報酬の定義が含まれています。