env package

Submodules

env.env_base module

class env.env_base.EpisodicEnvBase

Bases: env.env_base.GymCompliantEnvBase

current_model_checking_result()

Returns whether or not any of the conditions is currently violated.

disable_LTL_preconditions()
enable_LTL_preconditions()
goal_achieved

Check whether the ego vehicle achieves the goal of the maneuver or not.

By default, there is no goal, so the ego vehicle never achieves it (i.e., goal_achieved is always False).

r_terminal
step(u)

Gym compliant step function which will be implemented in the subclass.

terminal_reward_type = 'min'
termination_condition

In the subclass, specify the condition for termination of the episode (or the maneuver).

violation_happened
class env.env_base.GymCompliantEnvBase

Bases: object

render()

Gym compliant step function which will be implemented in the subclass.

reset()

Gym compliant reset function which will be implemented in the subclass.

step(action)

Gym compliant step function which will be implemented in the subclass.

env.road_env module

class env.road_env.RoadEnv

Bases: object

The generic road env.

TODO: Implement this generic road env for plugging-in other road envs. TODO: roadEnv also having a step() function can cause a problem.

Module contents