HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.