Sort by
Refine Your Search
-
logics for behavioural and security properties; - efficient algorithms for model checking, learning and synthesis; - improved explainability and safety of machine learning models, e.g. by integrating
-
well as developing solution algorithms applying mathematical and computational approaches. The group has a particular focus on automated decision making in autonomous cyber-physical systems. Autonomous systems and
Enter an email to receive alerts for algorithm-"Prof"-"Prof" positions