Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

Alex Groce, Stefan Leue

The second international CREST workshop continued the focus of the first CREST workshop: addressing approaches to causal reasoning in engineering complex embedded and safety-critic…