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

Caroline Lemke, Benjamin Bisping. Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems. In Patricia Bouyer, Jaco van de Pol, editors, 36th International Conference on Concurrency Theory, CONCUR 2025, August 26-29, 2025, Aarhus, Denmark. Volume 348 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Abstract

Abstract is missing.