Rajamanicham, L., FenPing, Q., & Jia, C. (2020). SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0. International Journal of Psychosocial Rehabilitation, 24(6), 18851-18862. https://doi.org/10.61841/8jjk6r75