HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Zekeriyya Demirci

Publications
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 8799

Keyphrases

model checking, Robotics, runtime verification, Verification and Validation.

Copyright © 2012-2025 easychair.org. All rights reserved.