.CTMDPI - ファイル拡張子
CTMDPIは、MRMCマルコフ報酬モデルチェッカーマトリックスファイルです。
機能 | 説明 |
---|---|
ファイル拡張子 | .ctmdpi |
フォーマット | N/A |
開発者 | RWTH Aachen University |
カテゴリー | Various data |
CTMDPIは、MRMCマルコフ報酬モデルチェッカーマトリックスファイルです。
機能 | 説明 |
---|---|
ファイル拡張子 | .ctmdpi |
フォーマット | N/A |
開発者 | RWTH Aachen University |
カテゴリー | Various data |
CTMDPIファイル拡張機能は、MRMC(Markov Reward Model Checker)に関連付けられています。 .CTMDPIファイルには、レートマトリックスと、異なる非決定的な選択を区別するための遷移ラベルが追加されます。