Showing 1 - 3 results of 3 for search 'Zekeriyya Demirci', query time: 0.02s Refine Results
  1. 1
    Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking

    Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking by Metin Ozkan, Zekeriyya Demirci, Özge Aslan, Ahmet Yazıcı

    Published 2023-02-01
    Get full text
    Article
  2. 2
    An Online Distance Tracker for Verification of Robotic Systems’ Safety

    An Online Distance Tracker for Verification of Robotic Systems’ Safety by Esra Guclu, Özlem Örnek, Metin Ozkan, Ahmet Yazici, Zekeriyya Demirci

    Published 2023-03-01
    Get full text
    Article
  3. 3
    Runtime Verification for Anomaly Detection of Robotic Systems Security

    Runtime Verification for Anomaly Detection of Robotic Systems Security by Yunus Sabri Kirca, Elif Degirmenci, Zekeriyya Demirci, Ahmet Yazici, Metin Ozkan, Salih Ergun, Alper Kanak

    Published 2023-01-01
    Get full text
    Article

Search Tools: