FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.
Zhenya ZhangDeyun LyuPaolo ArcainiLei MaIchiro HasuoJianjun ZhaoPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- control system
- artificial intelligence
- knowledge representation
- intelligent systems
- multi criteria
- machine learning
- case based reasoning
- artificial intelligent
- ai technologies
- closed loop
- information systems
- data mining
- control law
- database
- ai community
- real world
- hybrid approaches
- ai methods
- artificial general intelligence
- ai systems
- selection criteria
- database systems
- search engine
- knowledge based systems
- e learning
- website
- decision trees