Song Bo, Bernard T. Agyeman, Benjamin Decardi-Nelson, Haihan Wang, Jinfeng Liu: Computing control invariant set using reinforcement learning by leveraging default value function. Comput. Chem. Eng. 201: 109249 (2025)