From Verification to Explanation (Track Introduction).

Christel Baier Holger Hermanns

Published in: ISoLA (4) (2020)

Keyphrases

model checking
information systems
artificial neural networks
face verification
formal methods
formal verification
verification method
counter intuitive
databases
website
bayesian networks
temporal logic
signature verification
generating explanations