Rajamanicham L, Fen Ping Q, Jia C. Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0. Psychosocial rehabilitation. 2020;24(6):18851-18862. doi:10.61841/8hgfjm75