Rajamanicham L, FenPing Q, Jia C. SymbolicModelCheckingforConverse Propositional Dynamic Logicbased Industry 4.0. Psychosocial rehabilitation. 2020;24(6):18851-18862. doi:10.61841/8jjk6r75