From e7ee34fce61c6d86b079666c9452ee2a053d5f90 Mon Sep 17 00:00:00 2001
From: volkm SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
Advanced ExamplesSphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
ModelType.MA
ModelType.MDP
ModelType.POMDP
ModelType.SMG
ModelType.name
ModelType.value
SparseExactModelComponents.rate_transitions
SparseExactModelComponents.reward_models
SparseExactModelComponents.state_labeling
SparseExactModelComponents.state_player_indications
SparseExactModelComponents.state_valuations
SparseExactModelComponents.transition_matrix
SparseExactRewardModel.transition_rewards
SparseExactSmg
+SparseIntervalCtmc
@@ -1927,6 +1940,7 @@
SparseIntervalModelComponents.rate_transitions
SparseIntervalModelComponents.reward_models
SparseIntervalModelComponents.state_labeling
SparseIntervalModelComponents.state_player_indications
SparseIntervalModelComponents.state_valuations
SparseIntervalModelComponents.transition_matrix
SparseIntervalRewardModel.transition_rewards
SparseIntervalSmg
+SparseMA
SparseMA.apply_scheduler()
SparseMA.convert_to_ctmc()
SparseModelComponents.rate_transitions
SparseModelComponents.reward_models
SparseModelComponents.state_labeling
SparseModelComponents.state_player_indications
SparseModelComponents.state_valuations
SparseModelComponents.transition_matrix
SparseParametricModelComponents.rate_transitions
SparseParametricModelComponents.reward_models
SparseParametricModelComponents.state_labeling
SparseParametricModelComponents.state_player_indications
SparseParametricModelComponents.state_valuations
SparseParametricModelComponents.transition_matrix
SparseRewardModel.transition_rewards
SparseSmg
+StateFormula
StateLabeling
StateLabeling.add_label_to_state()
ModelType.MA
ModelType.MDP
ModelType.POMDP
ModelType.SMG
ModelType.name
ModelType.value
SparseExactModelComponents.rate_transitions
SparseExactModelComponents.reward_models
SparseExactModelComponents.state_labeling
SparseExactModelComponents.state_player_indications
SparseExactModelComponents.state_valuations
SparseExactModelComponents.transition_matrix
SparseExactRewardModel.transition_rewards
SparseExactSmg
+SparseIntervalCtmc
@@ -3523,6 +3556,7 @@
SparseIntervalModelComponents.rate_transitions
SparseIntervalModelComponents.reward_models
SparseIntervalModelComponents.state_labeling
SparseIntervalModelComponents.state_player_indications
SparseIntervalModelComponents.state_valuations
SparseIntervalModelComponents.transition_matrix
SparseIntervalRewardModel.transition_rewards
SparseIntervalSmg
+SparseMA
SparseMA.apply_scheduler()
SparseMA.convert_to_ctmc()
SparseModelComponents.rate_transitions
SparseModelComponents.reward_models
SparseModelComponents.state_labeling
SparseModelComponents.state_player_indications
SparseModelComponents.state_valuations
SparseModelComponents.transition_matrix
SparseParametricModelComponents.rate_transitions
SparseParametricModelComponents.reward_models
SparseParametricModelComponents.state_labeling
SparseParametricModelComponents.state_player_indications
SparseParametricModelComponents.state_valuations
SparseParametricModelComponents.transition_matrix
SparseRewardModel.transition_rewards
SparseSmg
+StateFormula
StateLabeling
StateLabeling.add_label_to_state()
substitute in rhs according to given substitution map
POMDP
CTMC
MA
+SMG
Put program into a single module
The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+The state labeling
The vector mapping states to player indices
+The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
Build state generation information
Build state generation information
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
Version information for Storm
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
ModelType.MA
ModelType.MDP
ModelType.POMDP
ModelType.SMG
ModelType.name
ModelType.value
ModelType.MA
ModelType.MDP
ModelType.POMDP
ModelType.SMG
ModelType.name
ModelType.value
POMDP
CTMC
MA
+SMG
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
ModelType.MA
ModelType.MDP
ModelType.POMDP
ModelType.SMG
ModelType.name
ModelType.value
SparseExactModelComponents.rate_transitions
SparseExactModelComponents.reward_models
SparseExactModelComponents.state_labeling
SparseExactModelComponents.state_player_indications
SparseExactModelComponents.state_valuations
SparseExactModelComponents.transition_matrix
SparseExactRewardModel.transition_rewards
SparseExactSmg
+SparseIntervalCtmc
@@ -1523,6 +1536,7 @@
SparseIntervalModelComponents.rate_transitions
SparseIntervalModelComponents.reward_models
SparseIntervalModelComponents.state_labeling
SparseIntervalModelComponents.state_player_indications
SparseIntervalModelComponents.state_valuations
SparseIntervalModelComponents.transition_matrix
SparseIntervalRewardModel.transition_rewards
SparseIntervalSmg
+SparseMA
SparseMA.apply_scheduler()
SparseMA.convert_to_ctmc()
SparseModelComponents.rate_transitions
SparseModelComponents.reward_models
SparseModelComponents.state_labeling
SparseModelComponents.state_player_indications
SparseModelComponents.state_valuations
SparseModelComponents.transition_matrix
SparseParametricModelComponents.rate_transitions
SparseParametricModelComponents.reward_models
SparseParametricModelComponents.state_labeling
SparseParametricModelComponents.state_player_indications
SparseParametricModelComponents.state_valuations
SparseParametricModelComponents.transition_matrix
SparseRewardModel.transition_rewards
SparseSmg
+StateLabeling
@@ -2518,6 +2545,7 @@
SparseExactModelComponents.rate_transitions
SparseExactModelComponents.reward_models
SparseExactModelComponents.state_labeling
SparseExactModelComponents.state_player_indications
SparseExactModelComponents.state_valuations
SparseExactModelComponents.transition_matrix
SparseExactRewardModel.transition_rewards
SparseExactSmg
+SparseIntervalCtmc
@@ -2588,6 +2621,7 @@
SparseIntervalModelComponents.rate_transitions
SparseIntervalModelComponents.reward_models
SparseIntervalModelComponents.state_labeling
SparseIntervalModelComponents.state_player_indications
SparseIntervalModelComponents.state_valuations
SparseIntervalModelComponents.transition_matrix
SparseIntervalRewardModel.transition_rewards
SparseIntervalSmg
+SparseMA
SparseMA.apply_scheduler()
SparseMA.convert_to_ctmc()
SparseModelComponents.rate_transitions
SparseModelComponents.reward_models
SparseModelComponents.state_labeling
SparseModelComponents.state_player_indications
SparseModelComponents.state_valuations
SparseModelComponents.transition_matrix
SparseParametricModelComponents.rate_transitions
SparseParametricModelComponents.reward_models
SparseParametricModelComponents.state_labeling
SparseParametricModelComponents.state_player_indications
SparseParametricModelComponents.state_valuations
SparseParametricModelComponents.transition_matrix
SparseRewardModel.transition_rewards
SparseSmg
+StateLabeling
StateLabeling.add_label_to_state()
StateLabeling.get_labels_of_state()
substitute in rhs according to given substitution map
POMDP
CTMC
MA
+SMG
Put program into a single module
The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+The state labeling
The vector mapping states to player indices
+The state labeling
The vector mapping states to player indices
+SMG in sparse representation
+Get player for the given state
+Get for each state its corresponding player
+SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
9 labels
- * three -> 1 item(s)
- * one -> 1 item(s)
- * six -> 1 item(s)
- * done -> 6 item(s)
- * four -> 1 item(s)
* init -> 1 item(s)
- * deadlock -> 0 item(s)
+ * one -> 1 item(s)
* five -> 1 item(s)
+ * deadlock -> 0 item(s)
+ * six -> 1 item(s)
* two -> 1 item(s)
+ * four -> 1 item(s)
+ * done -> 6 item(s)
+ * three -> 1 item(s)
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
Choice 2 labels
- * b -> 1 item(s)
* a -> 1 item(s)
+ * b -> 1 item(s)
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
(<= (+ p (- 1)) 0)
-(<= (* (- 1) q) 0)
(<= (* (- 1) p) 0)
(<= (+ q (- 1)) 0)
-(!= q 0)
-(!= (+ p (- 1)) 0)
+(<= (* (- 1) q) 0)
(!= p 0)
+(!= (+ p (- 1)) 0)
(!= (+ q (- 1)) 0)
+(!= q 0)
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
-Labels: {'done', 'four', 'deadlock', 'three', 'init', 'two', 'five', 'one', 'six'}
+Labels: {'one', 'four', 'init', 'five', 'deadlock', 'three', 'six', 'two', 'done'}
We will investigate ways to examine the model in more detail later in Investigating the model.
@@ -1160,7 +1166,7 @@
© Copyright 2016-2022 Moves RWTH Aachen.
- Created using Sphinx 7.3.7.
+ Created using Sphinx 7.4.1.
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateFormula
StateLabeling
StateValuation
SparseExactModelStates
SparseExactPomdp
SparseExactRewardModel
SparseExactSmg
SparseIntervalCtmc
SparseIntervalDtmc
SparseIntervalMA
SparseIntervalModelStates
SparseIntervalPomdp
SparseIntervalRewardModel
SparseIntervalSmg
SparseMA
SparseMatrix
SparseMatrixBuilder
SparseParametricRewardModel
SparsePomdp
SparseRewardModel
SparseSmg
StateLabeling
StateValuation
StateValuationsBuilder
Kp=D9KbD{k3j7`;~Yn@KO2ZEXUYzxc(dfyrhr4
zL9=^DmD7aDsvayOxag ~&KYrHR+KlvK
zZktgC*_@m)ByUCuU299ul-{*D_vOD-w2#fg6tz&Y@g?ygScrLwGDrK{9Bk=aZUF(&
zUN;wi(y{PjzBiYI#O^njm{cA(7k@e@oKr#?Kb(s`l`GEApVAxWmz2UU;F6HgCufL=
zam%fV;yrT~&SZ0cP8$E*nlg5Ji1E@H9H|_2CTV(KoynifU1!p!_SiYu6L7}+?JP{G
zU3Y#Fm*Gz5z_Uq6@5A#;xfp#)w~tN6MVxsyLHvU4>GEItf?xR(UzqOOn=zzx?=5Ll
zd-%vMuyn4kbS|&duC7EbuB5K5OS-g(k2s}yx+(R8P3fP1X-fV$)5V@-y3|8V37=m|
z_~=rqr
?0*Us}^5Q!^KcTX`|fyV`Hezg$!q&VIr7glgr7z+O!D@B+gM-
z9%#Msu*T%Ajhw!H5;%EM`GA~RdEHyLt8wHO2vo2k`F@*CWjk7D95774w5zQ&;V&%V
ze8Mnj_8=myAGzN1^RF+O=AtVmAgmd>F3R_V^TPmlN5i}CUJ;V@sSI~NJe4!1S}?ne
z!cH#3Z2Bq(UL?A>E8YxysSW2qLoP~AN*Nl()cJ~x4KM{-zd3~d*0q>6xgZsz9rL)P
z1{&IK-s_1s-GVLvUjoarsJp+s+a>
5&lWRd2@
z