ExplorationEnvironment¶
- class ExplorationEnvironment¶
Bases:
pybind11_objectEnvironment for exploration-based model checking
- property next_state_heuristic¶
Heuristic to choose the next state
- property precision¶
Precision of the exploration-based model checking
- property precomputation_type¶
Type of precomputation
- property sampled_paths_until_precomputation¶
Number of sampled paths until a precomputation is performed (None if unset)
- property steps_until_precomputation¶
Number of exploration steps until a precomputation is performed