5 citations · 10 across the 7 of their papers we have counts for
1 paper · 2 filters
Caroline Lemke, Benjamin Bisping
We provide a generic decision procedure for energy games with energy-bounded attacker and reachability objective, moving beyond vector-valued energies and vector-addition updates.…