NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS

Xi Zheng; Ziyang Li; Ivan Ruchkin; Ruzica Piskac; Miroslav Pajic

doi:10.1145/3696630.3728500

NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS

Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

2 Citations (Scopus)

28 Downloads (Pure)

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.

Original language	English
Title of host publication	FSE Companion '25
Subtitle of host publication	Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering
Editors	Jingyue Li
Place of Publication	New York
Publisher	Association for Computing Machinery
Pages	566-570
Number of pages	5
ISBN (Electronic)	9798400712760
DOIs	https://doi.org/10.1145/3696630.3728500
Publication status	Published - 2025
Event	33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025 - Trondheim, Norway Duration: 23 Jun 2025 → 27 Jun 2025

Conference

Conference	33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025
Country/Territory	Norway
City	Trondheim
Period	23/06/25 → 27/06/25

Bibliographical note

Copyright the Author(s) 2025. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Keywords

AI-based Systems
Cyber-Physical Systems
Neurosymbolic AI
Testing
Verification

Access to Document

10.1145/3696630.3728500Licence: CC BY

Publisher version (open access)Final published version, 797 KBLicence: CC BY

Cite this

Zheng, X., Li, Z., Ruchkin, I., Piskac, R., & Pajic, M. (2025). NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS. In J. Li (Ed.), FSE Companion '25: Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (pp. 566-570). Association for Computing Machinery. https://doi.org/10.1145/3696630.3728500

Zheng, Xi ; Li, Ziyang ; Ruchkin, Ivan et al. / NeuroStrata : harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS. FSE Companion '25: Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. editor / Jingyue Li. New York : Association for Computing Machinery, 2025. pp. 566-570

@inproceedings{bb4f283605b4424ba15292ef4b5c5295,

title = "NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS",

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.",

keywords = "AI-based Systems, Cyber-Physical Systems, Neurosymbolic AI, Testing, Verification",

author = "Xi Zheng and Ziyang Li and Ivan Ruchkin and Ruzica Piskac and Miroslav Pajic",

note = "Copyright the Author(s) 2025. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.; 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025 ; Conference date: 23-06-2025 Through 27-06-2025",

year = "2025",

doi = "10.1145/3696630.3728500",

language = "English",

pages = "566--570",

editor = "Jingyue Li",

booktitle = "FSE Companion '25",

publisher = "Association for Computing Machinery",

address = "United States",

}

Zheng, X, Li, Z, Ruchkin, I, Piskac, R & Pajic, M 2025, NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS. in J Li (ed.), FSE Companion '25: Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. Association for Computing Machinery, New York, pp. 566-570, 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Trondheim, Norway, 23/06/25. https://doi.org/10.1145/3696630.3728500

NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS. / Zheng, Xi; Li, Ziyang; Ruchkin, Ivan et al.
FSE Companion '25: Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. ed. / Jingyue Li. New York: Association for Computing Machinery, 2025. p. 566-570.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - NeuroStrata

T2 - 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025

AU - Zheng, Xi

AU - Li, Ziyang

AU - Ruchkin, Ivan

AU - Piskac, Ruzica

AU - Pajic, Miroslav

N1 - Copyright the Author(s) 2025. Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

PY - 2025

Y1 - 2025

N2 - 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.

AB - 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.

KW - AI-based Systems

KW - Cyber-Physical Systems

KW - Neurosymbolic AI

KW - Testing

KW - Verification

UR - https://www.scopus.com/pages/publications/105013969888

UR - http://purl.org/au-research/grants/arc/FT240100269

UR - http://purl.org/au-research/grants/arc/DP210102447

UR - http://purl.org/au-research/grants/arc/LP190100676

U2 - 10.1145/3696630.3728500

DO - 10.1145/3696630.3728500

M3 - Conference proceeding contribution

AN - SCOPUS:105013969888

SP - 566

EP - 570

BT - FSE Companion '25

A2 - Li, Jingyue

PB - Association for Computing Machinery

CY - New York

Y2 - 23 June 2025 through 27 June 2025

ER -

Zheng X, Li Z, Ruchkin I, Piskac R, Pajic M. NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS. In Li J, editor, FSE Companion '25: Companion proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. New York: Association for Computing Machinery. 2025. p. 566-570 doi: 10.1145/3696630.3728500

NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

FT24: Advancing Robust Autonomy in Cyber-Physical Systems

SUT led : Context-aware verification and validation framework for autonomous driving

Cite this

NeuroStrata: harnessing neurosymbolic paradigms for improved design, testability, and verifiability of autonomous CPS

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Projects

FT24: Advancing Robust Autonomy in Cyber-Physical Systems

SUT led : Context-aware verification and validation framework for autonomous driving

Cite this