Invited talk at the Austrian Computer Science Day 2023: “Building Robustness into Embedded Machine Intelligence”.