ByNobleID
    Energy Problems in Finite and Timed Automata with Büchi Conditions | NobleID