VMCAI 2026
Mon 12 - Tue 13 January 2026 Rennes, France
co-located with POPL 2026
Tue 13 Jan 2026 15:00 - 15:30 at Horizons - Models 2 Chair(s): Anthony Widjaja Lin

Safety-critical cyber physical systems usually require controllers that not only meet performance goal but also guarantee safety. However, the existing neural controller synthesis methods require a large number of data samples and gradient steps, which makes the real-time training infeasible when system dynamics vary over time. To address the challenge, we propose HyML-ASCS, a hybrid meta-learning framework for adaptive safety controller synthesis. HyML-ASCS combines model-based meta-learning, to generate task-specific embeddings that capture the patterns of safety controller synthesis tasks, with gradient-based meta-learning, to efficiently adapt to new synthesis tasks. This approach speeds up convergence, reduces the number of iterations required, and improves synthesis success rates, making HyML-ASCS a scalable and efficient solution for real-time control synthesis in dynamic environments. We evaluate HyML-ASCS on several benchmarks, demonstrating that it outperforms existing state-of-the-art methods in terms of synthesis efficiency, success rate, and scalability.

Tue 13 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:30
Models 2VMCAI 2026 at Horizons
Chair(s): Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS
14:00
30m
Talk
Atomic Gliders and Cellular Automata as Language Generators
VMCAI 2026
Dana Fisman Ben-Gurion University, Noa Izsak CISPA Helmholtz Center for Information Security, Germany
14:30
30m
Talk
Reachability in multi-agent transfer systems
VMCAI 2026
Nathalie Bertrand INRIA Rennes, Loic Helouet INRIA, Engel Lefaucheux Université de Lorraine; CNRS; Inria; LORIA, Luca Paparazzo Inria, IRISA, Université de Rennes
15:00
30m
Talk
A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamical Models
VMCAI 2026
Rui Guo Zhejiang Sci-Tech University, Yang Li Zhejiang Sci-Tech University, Xiuqing Cao Zhejiang Sci-Tech University, Wang Lin