 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Files | |
| file | __storm_needed_for_checker.h [code] |
| file | Options.h [code] |
| file | StaminaMessages.h [code] |
| file | StaminaModelChecker.h [code] |
| file | StateSpaceInformation.h [code] |
1.9.3