A survey that categorizes 122 papers on regression test optimization and argues ROS-based autonomous systems need new semantic and neurosymbolic approaches.
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
1 Pith paper cite this work. Polarity classification is still indexing.
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.
citation-role summary
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Regression Testing Optimization for ROS-based Autonomous Systems: A Comprehensive Review of Techniques
A survey that categorizes 122 papers on regression test optimization and argues ROS-based autonomous systems need new semantic and neurosymbolic approaches.