Sort by
Refine Your Search
-
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 neural and symbolic
Enter an email to receive alerts for algorithm-"DAAD" positions