Login / Signup
From Verification to Causality-Based Explications (Invited Talk).
Christel Baier
Clemens Dubslaff
Florian Funke
Simon Jantsch
Rupak Majumdar
Jakob Piribauer
Robin Ziemek
Published in:
ICALP (2021)
Keyphrases
</>
invited talk
knowledge discovery and data mining
model checking
carefully reviewed and selected from submissions
selected papers
causal inference
formal verification
neural network
data mining
causal relationships
decision making
bayesian networks
verification method