2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
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.…
cs.LO2024
One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
Benjamin Bisping, David N. Jansen
We provide the first generalized game characterization of van Glabbeek's linear-time--branching-time spectrum with silent steps. Thereby, one multi-dimensional energy game can be u…
cs.GT2021★ 2 cited
A Game Characterization for Contrasimilarity
Benjamin Bisping, Luisa Montanari
We present the first game characterization of contrasimilarity, the weakest form of bisimilarity. The game is finite for finite-state processes and can thus be used for contrasimul…