Work

Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties

Year: 2025

Type: conference-paper

Abstract: The integration of AI into Cyber-Physical Systems (CPS) has enhanced their functionality but introduced challenges for traditional verification methods. Temporal logic falsification techniques, which are designed for deterministic models, struggle with the complexity of AI-driven systems. To address these challenges, this Ph.D. dissertation focuses on two primary directions: (i) conduct an empirical analysis to categorize CPS models, identify verification challenges specific to AI systems, and (ii) propose a novel falsification method that combines stochastic optimization and reinforcement learning to improve fault detection in AI-enabled CPS. This research is expected to contribute significantly to the CPS verification domain by improving the accuracy and efficiency of the verification process and providing a public data set to support further research.

Source: IEEE/ACM International Conference on AI Engineering – Software Engineering for AI (CAIN)

DOI: 10.1109/cain66642.2025.00044

Author: Hadiza Umar Yusuf

Institution: University of Michigan–Dearborn

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: National Science Foundation

Award: CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties