research
∙
05/28/2023
Linear-Time–Branching-Time Spectroscopy Accounting for Silent Steps
We provide the first generalized game characterization of van Glabbeek's...
share
research
∙
03/03/2023
Process Equivalence Problems as Energy Games
We characterize all common notions of behavioral equivalence by one 6-di...
research
∙
09/30/2021
Deciding All Behavioral Equivalences at Once: A Game for Linear-time–Branching-time Spectroscopy
We introduce a generalization of the bisimulation game that can be emplo...
research
∙
08/24/2021