29 citations · 81 across the 9 of their papers we have counts for
1 paper · 2 filters
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…