AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
Deyun LyuJiayang SongZhenya ZhangZhijie WangTianyi ZhangLei MaJianjun ZhaoPublished in: CoRR (2023)
Keyphrases
- safety critical
- cyber physical systems
- embedded systems
- cyber physical
- formal methods
- fault tolerant
- artificial intelligence
- agent architecture
- intelligent systems
- expert systems
- support systems
- low cost
- physical world
- data mining
- case based reasoning
- critical infrastructure
- machine learning
- knowledge management
- real time
- knowledge representation
- adaptive systems