NeuroStrata: استغلال النماذج العصبية الرمزية لتحسين قابلية الاختبار والتحقق من الأنظمة المستقلة السيبرانية-الفيزيائية | Synapse