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

This paper introduces collaborative reachability games with energy constraints. In the considered arenas, agents can spend or gain energy during moves, or share it with their peers if their current position allows it. We study several variants of energy reachability games where agents move either synchronously or asynchronously, and with/without constraints on energy transfers among peers. We show that these problems have different complexities rangin from NP to EXPSPACE.

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