Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She. Reachability Based Uniform Controllability to Target Set with Evolution Function. In Holger Hermanns, Jun Sun 0001, Lei Bu, editors, Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Volume 14464 of Lecture Notes in Computer Science, pages 21-37, Springer, 2023. [doi]
Abstract is missing.