BeliefBasedModelCheckerStatistics

class BeliefBasedModelCheckerStatistics

Bases: pybind11_object

Statistics of belief-based verification

property belief_mdp_analysis_time_ms

Analysis time of the belief MDP in milliseconds

property belief_mdp_build_time_ms

Build time of the belief MDP in milliseconds

property belief_mdp_choices

Number of choices of the belief MDP

property belief_mdp_states

Number of states of the belief MDP

property belief_mdp_transitions

Number of transitions of the belief MDP

property completed_exploration

Whether the exploration was completed

property discovered_beliefs

Number of discovered beliefs

property exploration_time_ms

Exploration time in milliseconds

property explored_beliefs

Number of explored beliefs

property processed_mdp_choices

Number of choices of the processed MDP, None if not processed

property processed_mdp_states

Number of states of the processed MDP, None if not processed

property processed_mdp_transitions

Number of transitions of the processed MDP, None if not processed