Vol: 51 No. 01 (2026)
Adaptive Runtime Validation of a Responsive Neurostimulation Device in a Body Area Network Using Hierarchical Colored Timed Petri Nets and Hierarchical Reinforcement Learning
Safaa Majid Fakhry Al-Sherify, Negar Majma, Asaad Noori Hashim Al-Shareefi, Zohreh Fotouhi