Building Trust and Safety in Artificial Intelligence with Abstract Interpretation.

Gagandeep Singh

Published in: SAS (2023)

Keyphrases

artificial intelligence
abstract interpretation
termination analysis
static analysis
dynamic analysis
expert systems
knowledge representation
management system
object oriented
knowledge based systems
model checking