Benjamin Bisping | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Uwe Nestmann
7 publications
David N. Jansen
3 publications
Luisa Montanari
2 publications

research

∙ 05/28/2023

Linear-Time–Branching-Time Spectroscopy Accounting for Silent Steps

We provide the first generalized game characterization of van Glabbeek's...

0 Benjamin Bisping, et al. ∙

research

∙ 03/03/2023

Process Equivalence Problems as Energy Games

We characterize all common notions of behavioral equivalence by one 6-di...

0 Benjamin Bisping, et al. ∙

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...

0 Benjamin Bisping, et al. ∙

research

∙ 08/24/2021

A Game Characterization for Contrasimilarity

We present the first game characterization of contrasimilarity, the weak...

0 Benjamin Bisping, et al. ∙