Login / Signup
Computer says no: Verdict explainability for runtime monitors using a local proof system.
Adrian Francalanza
Clare Cini
Published in:
J. Log. Algebraic Methods Program. (2021)
Keyphrases
</>
databases
information systems
data sets
real world
machine learning
modal logic
real time
artificial intelligence
social networks
knowledge base
case study
database systems
computer technology
computer programming
computer controlled