The Center for AI Safety covers three broad topics: 1) Formal Techniques for AI Safety a) Formal specifications for systems with AI components b) Verification of systems with AI components c) Analysis of adversarial robustness d) Automatic test-case generation 2) Learning and Control for AI Safety More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.