Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017.
Published in: CREST@ETAPS (2017)
Keyphrases
- international workshop
- safety critical
- embedded systems
- causal reasoning
- domain driven data mining
- pacific rim
- support systems
- formal methods
- acm sigkdd
- lecture notes in artificial intelligence
- safety analysis
- selected papers
- adaptive systems
- agent architecture
- learning systems
- expert systems
- data mining
- fault tolerant
- distributed systems
- management system
- decision making
- knowledge base
- intelligent systems
- information systems
- artificial intelligence
- low cost
- fuzzy logic