View of Verify Embedded Systems Faster and more Efficiently with Artificial Intelligence | Proceedings of the Upper-Rhine Artificial Intelligence Symposium