Login / Signup
From Verification to Causality-based Explications.
Christel Baier
Clemens Dubslaff
Florian Funke
Simon Jantsch
Rupak Majumdar
Jakob Piribauer
Robin Ziemek
Published in:
CoRR (2021)
Keyphrases
</>
model checking
formal verification
face verification
causal relations
false acceptance rate
real time
artificial intelligence
information systems
decision trees
case study
knowledge representation
causal models
formal methods
causal reasoning
high security