verse.Scenario.simulate

Scenario.simulate(time_horizon, time_step, max_height=None, seed=None) → AnalysisTree

Computes a single simulation trace of a scenario, starting from a single initial state. Parameters:

time_horizon (float): Time limit of simulation. Positive float. time_step (float): delta, the sampling period for continuous evolution. max_height (int): Maximum number of discrete transitions seed (int): Seed for sampling initial state if a initial region is given.

Result:

tree (AnalysisTree): Simulation tree contrining possibly multiple simulations