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