Filter contracts by heading, quadrant, and forbidden advisory. Select a contract to visualize its input region under continuous and discrete verification modes. Drag the eps slider to see how the bounding box grows around the exact dangerous state points.
Set eps=0 or eps=1e-4 to load the CROWN verification result bar chart in panel 3.