STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Directories | |
directory | threads |
Files | |
file | __storm_needed_for_builder.h [code] |
file | ExplicitTruncatedModelBuilder.h [code] |
file | ProbabilityState.h [code] |
file | StaminaIterativeModelBuilder.h [code] |
file | StaminaModelBuilder.h [code] |
file | StaminaPriorityModelBuilder.h [code] |
file | StaminaReExploringModelBuilder.h [code] |
file | StaminaThreadedIterativeModelBuilder.h [code] |
file | StaminaThreadedPriorityModelBuilder.h [code] |