Weipeng Cao, Yuhao Wu, Qiang Wang, Jiyong Zhang, Xingjian Zhang, Meikang Qiu. A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking. In Gérard Memmi, Baijian Yang, Linghe Kong, Tianwei Zhang 0004, Meikang Qiu, editors, Knowledge Science, Engineering and Management - 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, Part III. Volume 13370 of Lecture Notes in Computer Science, pages 414-425, Springer, 2022. [doi]
Abstract is missing.