Ładowanie...
Ładowanie...
MRMC Markov Reward Model Checker macierz
Typ pliku: Różne pliki danych
Rozszerzenie pliku ctmdpi jest związane z MRMC (Markov Reward Model Checker) i używane do jego plików macierzowych.
Kategoria typu pliku:
Różne pliki danych
Data aktualizacji: 19 września 2025
Rozszerzenie pliku ctmdpi jest powiązane z MRMC (Markov Reward Model Checker).
Plik .ctmdpi zawiera macierz stawek oraz dodatkowo etykietowanie przejść, aby rozróżnić różne niedeterministyczne wybory.
Używaj kompatybilnych narzędzi do pracy z plikami *.ctmdpi.
Prawdopodobnie można przekonwertować na inne formaty chemiczne.
Language
