Pascal Bergsträßer | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Anthony W. Lin
16 publications
Georg Zetzsche
14 publications
Moses Ganardi
11 publications

research

∙ 04/21/2023

Revisiting Membership Problems in Subclasses of Rational Relations

We revisit the membership problem for subclasses of rational relations o...

0 Pascal Bergsträßer, et al. ∙

research

∙ 05/18/2022

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

Automatic structures are infinite structures that are finitely represent...

0 Pascal Bergsträßer, et al. ∙