verse.Scenario.verify

Scenario.verify(time_horizon, time_step, max_height=None, params={}) → AnalysisTree

Compute the set of reachable states, starting from a set of initial states states.