Corroborative verification and validation of an autonomous warehouse inspection robot
High-fidelity simulation, built in NVIDIA Isaac Sim on Omniverse, combined with probabilistic model checking in PRISM, to test both how well a warehouse inspection robot performs and how it behaves when safety matters.