Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems. - Caroline Lemke; Benjamin Bisping (CONCUR, 2025)

Galois Energy Games. - Caroline Lemke (Arch. Formal Proofs, 2025)