Keyword:Verification and Validation

Papers
MARVer: a Tool for Verification of Robotic System’s Safety Zekeriyya Demirci, Metin Özkan, Muhammed Talha Şahin, Hüseyin Can Ergün and Ahmet Yazıcı EasyChair Preprint no. 8799