ROBOTICS · VERIFIED

Simulator

Simulator scenarios covering movement, obstacles, collision, navigation, and map behavior were visually inspected and produced the expected results.

Avisna Program
      ↓
Runtime / Robotics
      ↓
Robot State
      ↓
Simulator
      ↓
Visualization

This status applies to tested scenarios, not every possible simulator state.

TRACEABILITY

Related Evidence

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

tests/Robotic/decimal_stage2d5_3_simulator_probe.avs
tests/Robotic/decimal_stage2d5_6_simulator_regression.avs
tests/Robotic/Robot_web.avs
tests/Robotic/Robot_websocket.avs
tests/Robotic/Robot_collision_detection.avs

Browse the public evidence index →