Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS.
Imane LamraniAyan BanerjeeSandeep K. S. GuptaPublished in: SafeAI@AAAI (2020)
Keyphrases
- hybrid automata
- artificial intelligence
- finite state automata
- text mining
- machine learning
- knowledge discovery
- input output
- main memory
- expert systems
- web mining
- safety analysis
- sequential patterns
- decision making
- intelligent systems
- knowledge based systems
- frequent patterns
- case based reasoning
- functional verification
- relational databases
- ai systems
- formal methods
- air traffic
- frequent itemsets
- log files
- pattern mining
- database
- data mining techniques
- knowledge representation
- data mining