Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan. The Design of Intelligent Temperature Control System of Smart House with MARS. In Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady, editors, Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings. Volume 15469 of Lecture Notes in Computer Science, pages 217-235, Springer, 2024. [doi]
Abstract is missing.