{"paper":{"title":"Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE","cs.SY"],"primary_cat":"cs.LO","authors_text":"Alex Groce (Northern Arizona University, Germany), Stefan Leue (University of Konstanz, USA)","submitted_at":"2017-10-08T02:41:19Z","abstract_excerpt":"The second international CREST workshop continued the focus of the first CREST workshop:  addressing approaches to causal reasoning in engineering complex embedded and safety-critical systems.  Relevant approaches to causal reasoning have been (usually independently) proposed by a variety of communities:  AI, concurrency, model-based diagnosis, software engineering, security engineering, and formal methods.  The goal of CREST is to bring together researchers and practitioners from these communities to exchange ideas, especially between communities, in order to advance the science of determinin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.02770","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}