Energy Büchi Problems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Energy Büchi Problems


We show how to efficiently solve energy Büchi problems in finite weighted automata and in one-clock weighted timed automata. Solving the former problem is our main contribution and is handled by a modified version of Bellman-Ford interleaved with Couvreur's algorithm. The latter problem is handled via a reduction to the former relying on the corner-point abstraction. All our algorithms are freely available and implemented in a tool based on the open-source platforms TChecker and Spot.
Fichier principal
Vignette du fichier
2205.04392.pdf (694.58 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04344167 , version 1 (14-12-2023)




Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier. Energy Büchi Problems. FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩. ⟨hal-04344167⟩
22 View
24 Download



Gmail Mastodon Facebook X LinkedIn More