1–7 of 7 hits
|

    Contact-less and programming-less human-robot collaboration

    Free access
    Schmidt, Bernard / Wang, Lihui | BASE | 2013

    Monte Carlo Tree Search for online decision making in smart industrial production

    Free access
    Senington, Richard / Schmidt, Bernard / Syberfeldt, Anna | BASE | 2021

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Schmidt, Bernard / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2019

    Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers

    Schmidt, Bernard / Bulach, Slava / Weinberger, Katharina et al. | Tema Archive | 2008

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Kaestner, Daniel / Schmidt, Bernard / Schlund, Maximilian et al. | British Library Conference Proceedings | 2019

    Augmented Reality Approach for a User Interface in a Robotic Production System

    Free access
    Schmidt, Bernard / Sánchez de Ocãna Torroba, Adrian / Grahn, Göran et al. | BASE | 2022