Institution: Interdisciplinary Centre for Security, Reliability and Trust (SnT) - Luxembourg
Summary: (1) verify autonomous systems software, (2) generate explanations for software behavior, (3) improve autonomous systems software. Enabling solutions will be simulation technology, evolutionary algorithms, and methods to capture and explain the internal DNN behavior.
Several Web Application, Mobile and Desktop Developed for clients.