Concepedia

Toward verified artificial intelligence

Sanjit A. Seshia, Dorsa Sadigh, Shankar Sastry

Communications of the ACM · 2022 · 187 citations · 22 references

Open access

Concepts

ComputingComputer EngineeringComputer ScienceArtificial IntelligenceFormal MethodsAssertion-based VerificationAutomated ReasoningDeductive VerificationModel CheckingModel ValidationVerificationFormal VerificationSecurity Of Ai SystemsSystem VerificationTrust In Artificial IntelligenceTrustworthy Ai

Abstract

Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.

References

22

Artificial intelligence: a modern approach

Choice Reviews Online · 1995 · 22.2K citations · Full text

Computing, Computer Science, Artificial Intelligence +13

A comprehensive survey on safe reinforcement learning

Javier García, Fernando Fernández · Journal of Machine Learning Research · 2015 · 1.2K citations

Business, Decision Sciences, Machine Learning +16

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

A specifier's introduction to formal methods

J.M. Wing · Computer · 1990 · 730 citations

Computing, Computer Science, Computer Systems +9

Explanation-based generalization: A unifying view

Tom M. Mitchell, Richard M. Keller, Smadar T. Kedar-Cabelli · Machine Learning · 1986 · 718 citations · Full text

Computing, Computer Science, Knowledge Representation +7