NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS

2025/02/17 by Zheng, Xi, Li, Ziyang, Ruchkin, Ivan +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)

paper · doi:10.48550/arxiv.2502.12267

Abstract

Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with interpretable symbolic AI, enabling determinism. While promising, challenges like multisensor fusion, adaptability, and verification remain. This paper introduces NeuroStrata, a neurosymbolic framework to enhance the testing and verification of autonomous CPS. We outline its key components, present early results, and detail future plans.

Cited by

• A Step-by-Step Guide to Creating a Robust Autonomous Drone Testing Pipeline

Related

• Assured Autonomy with Neuro-Symbolic Perception
• Verification for Machine Learning, Autonomy, and Neural Networks Survey
• Gated Uncertainty-Aware Runtime Dual Invariants for Neural Signal-Controlled Robotics
• Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
• Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems