Explainable Software for Cyber-Physical Systems
Mathias Blumreiter talks about "Refining incomplete models through system observations with NuSMV" during the conference "Explainable Software for Cyber-Physical Systems" at Schloss Dagstuhl (Leibnitz-Zentrum für Informatik).
