C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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