TY  - RPRT
TI  - NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
AU  - Xi Zheng
AU  - Ziyang Li
AU  - Ivan Ruchkin
AU  - Ruzica Piskac
AU  - Miroslav Pajic
PY  - 2025
DO  - 10.1145/3696630.3728500
UR  - https://arxiv.org/abs/2502.12267
ID  - 2502.12267
ER  -