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.341564178466797),(Vehicles2|->-6.981072425842285),(Vehicles3|->-12.3758065700531),(V...
4FASTER(VehiclesVx={(EgoVehicle|->29.913291931152344),(Vehicles2|->-8.271174430847168),(Vehicles3|->-15.38801908493042),(...
5IDLE(VehiclesVx={(EgoVehicle|->29.988582134246826),(Vehicles2|->-8.862067461013794),(Vehicles3|->-16.172068119049072),(V...
6IDLE(VehiclesVx={(EgoVehicle|->29.99849557876587),(Vehicles2|->-9.233789443969727),(Vehicles3|->-16.143040657043457),(Ve...
7LANE_LEFT(VehiclesVx={(EgoVehicle|->29.982101917266846),(Vehicles2|->-13.380738496780396),(Vehicles3|->-10.7127022743225...
8IDLE(Crash=TRUE,VehiclesVx={(EgoVehicle|->15.35952091217041),(Vehicles2|->-6.7845237255096436),(Vehicles3|->2.6155480742...
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)