Sort by
Refine Your Search
-
approaches for responsible and trustworthy AI, such as frameworks for fundamental right impact assessments (FRIAs), and threat modelling methods (e.g., Plot4AI). Weight will be given to: Knowledge and
Searches related to model checking
Enter an email to receive alerts for model-checking positions