HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hüseyin Can Ergün

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 no. 8799

Keyphrases

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

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