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

Caroline Lemke, Benjamin Bisping

Browse the full CONCUR paper archive.