MRMC Markovův model kontroloru odměn matice
Typ souboru: Various data file
Přípona souboru ctmdpi souvisí s MRMC (Markov Reward Model Checker) a používá se pro jeho maticové soubory.
Kategorie typu souboru:
Various data file
Datum aktualizace: 22. července 2025
Přípona souboru ctmdpi je spojena s MRMC (Markov Reward Model Checker).
Soubor .ctmdpi obsahuje matici rychlostí a navíc označení přechodů pro rozlišení mezi různými nedeterministickými volbami.
Použijte kompatibilní nástroje pro práci se soubory *.ctmdpi.
Pravděpodobně lze převést do jiných chemických formátů.
MRMC (Microsoft Windows)
MRMC (Microsoft Windows)
Language