Nr Name Value
1 Crash ?
2 PresentVehicles ?
3 Reward ?
4 VehiclesAx ?
5 VehiclesAy ?
6 VehiclesVx ?
7 VehiclesVy ?
8 VehiclesX ?
9 VehiclesY ?
Nr Name Value
1 Vehicles {EgoVehicle,Vehicles2,Vehicles3,Vehicles4,Vehicles5}
2 INT (-1 .. 3)
Nr Event Target State ID
1SETUP_CONSTANTS()State 0
2INITIALISATION(Crash=FALSE,PresentVehicles={EgoVehicle,Vehicles2,Vehicles3,Vehicles4,Vehicles5},Reward=0.0,VehiclesAx={(...
3FASTER(VehiclesVx={(EgoVehicle|->29.999995231628418),(Vehicles2|->-9.79224145412445),(Vehicles3|->-11.06988787651062),(V...
4IDLE(VehiclesVx={(EgoVehicle|->30.0),(Vehicles2|->-9.262234568595886),(Vehicles3|->-10.757924318313599),(Vehicles4|->-10...
5LANE_RIGHT(VehiclesVx={(EgoVehicle|->29.9822998046875),(Vehicles2|->-9.209685325622559),(Vehicles3|->-10.705839395523071...
6SLOWER(VehiclesVx={(EgoVehicle|->25.658423900604248),(Vehicles2|->-6.348072290420532),(Vehicles3|->-4.855303764343262),(...
7SLOWER(VehiclesVx={(EgoVehicle|->20.74514389038086),(Vehicles2|->-1.401486098766327),(Vehicles3|->0.08486251346766949),(...
Generated on 16/12/2023 at 10:25 using ProB version 1.12.3-nightly
Main specification file: ../HighwayEnvironment.mch (modified on 28/11/2023 at 15:46)
Main specification name: HighwayEnvironment
Main VisB JSON file: ../visualization/HighwayEnv.json (modified on 28/11/2023 at 15:58)
VisB SVG file: ../visualization/HighwayEnv.svg (modified on 17/8/2023 at 9:54)