Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
2018 ◽
2016 ◽