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. https://doi.org/10.61841/8hgfjm75.