Energy Büchi Problems

We show how to efficiently solve energy B\"uchi problems in finite weighted B\"uchi automata and in one-clock weighted timed B\"uchi automata; all our algorithms are implemented in a pipeline based on TChecker and Spot. Solving the latter problem is done by using the corner-point abstraction; the former problem is handled by a modified version of Bellman-Ford interleaved with Couvreur's algorithm.