vix.ing · top · new · best · stats · spec

Betzer, Joakim Schack

  1. Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots\n under Uncertainty
    2024/12/13 by Joakim Schack Betzer, Betzer, Joakim Schack, Jalil Boudjadar +5 · 4 citations
    Engineering · Computer Science · #Digital Transformation in Industry #Software Reliability and Analysis Research #Flexible and Reconfigurable Manufacturing Systems