POPL 2026 (series) / VMCAI 2026 (series) / 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026) /
Reachability in multi-agent transfer systems
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 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||