Načítám...
Načítám...
MRMC Markovův model kontroloru odměn matice
Typ souboru: Různé datové soubory
Přípona souboru ctmdpi souvisí s MRMC (Markov Reward Model Checker) a používá se pro jeho maticové soubory.
Kategorie typu souboru:
Různé datové soubory
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ů.
Language
