2023 IEEE Conference on Control Technology and Applications (CCTA) Control Technology and Applications (CCTA), 2023 IEEE Conference on. :784-790 Aug, 2023
Journal of Logical and Algebraic Methods in Programming (J. Log. Algebr. Methods Program.) (20240101), 141, Paper No 100979, 19~pp. ISSN: 2352-2208 (print).eISSN: 2352-2216.