FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2022.3194640
Abstract: Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (e.g., autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep neural networks (DNNs). The quality assurance of such types of systems is… read more here.
Keywords: coverage criteria; time; time aware; falsification ... See more keywords