A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions.

Hoang Tung Dinh, Tom Holvoet

Browse the full PAAMS paper archive.