Monte Carlo Tree Search for online decision making in smart industrial production
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers
Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software
Augmented Reality Approach for a User Interface in a Robotic Production System