Energy Büchi Problems

05/09/2022
by   Sven Dziadek, et al.
0

We show how to efficiently solve energy Büchi problems in finite weighted Büchi automata and in one-clock weighted timed Büchi 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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset