Rui Guo, Yang Li, Xiuqing Cao, Wang Lin. A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems. In Yu-Fang Chen 0001, Thomas P. Jensen, Ondrej Lengál, editors, Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings. Volume 16417 of Lecture Notes in Computer Science, pages 82-98, Springer, 2026. [doi]
Abstract is missing.