Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems

Caroline Lemke, Benjamin Bisping

We provide a generic decision procedure for energy games with energy-bounded attacker and reachability objective, moving beyond vector-valued energies and vector-addition updates.…