common

gym_socks.algorithms.reach.common.generate_tube(time_horizon, shape, low, high)

Generate a stochastic reachability tube using config.

This function computes a stochastic reachability tube using the tube configuration.

Parameters

• env – The dynamical system model.

• bounds – The bounds of the tube. Specified as a dictionary.

• time_horizon (int) –

Returns

A list of spaces indexed by time.