Rajamanicham L, Fen Ping Q, Jia C. Symbolic Model Checking for Converse Propositional Dynamic Logic based Industry 4.0. Psychosocial rehabilitation [Internet]. 2020 Aug. 31 [cited 2026 Jan. 9];24(6):18851-62. Available from: https://www.psychosocial.com/index.php/ijpr/article/view/8579