(De-)Composing Causality in Labeled Transition Systems.

Georgiana Caltais Stefan Leue Mohammad Reza Mousavi

Published in: CREST@ETAPS (2016)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
training data
supervised learning
model checker
reactive systems
artificial intelligence
markov chain
process model