4 papers · 1 filter
Tempus fugit: Anyone can understand temporal logic if they have to save the realm
Benjamin Bisping, Tobias Loch, Mustafa Mohsen +2
Often, the easiest way to learn something is to have to use it for a purpose. This purpose can be playful: In 'Tempus fugit', the player takes on the role of a magician who has to…
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.…
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…
Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
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…