Pith. sign in

REVIEW 2 cited by

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

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2502.12267 v2 pith:2SVJXTI2 submitted 2025-02-17 cs.SE cs.AI

classification cs.SEcs.AI
keywords autonomousneurosymbolicchallengesneurostrataverificationadaptabilitycertificationcomponents
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original 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.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Regression Testing Optimization for ROS-based Autonomous Systems: A Comprehensive Review of Techniques

    cs.SE 2025-06 conditional novelty 4.0 of 10

    A survey that categorizes 122 papers on regression test optimization and argues ROS-based autonomous systems need new semantic and neurosymbolic approaches.

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

    cs.SE 2025-06 unverdicted novelty 2.0 of 10

    A four-stage drone testing pipeline guide, illustrated with the authors' marker-based landing system and a review of emerging test automation trends.

Pith tools