Achim Blumensath | DeepAI

DeepAI

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

Featured Co-authors

Felix Wolf
10 publications
Viktor Winschel
2 publications
Jakub Lédl
1 publication

research

∙ 03/25/2022

ω-Forest Algebras and Temporal Logics

We use the algebraic framework for languages of infinite trees introduce...

0 Achim Blumensath, et al. ∙

research

∙ 05/16/2019

Bisimulation Invariant Monadic-Second Order Logic in the Finite

We consider bisimulation-invariant monadic second-order logic over vario...

0 Achim Blumensath, et al. ∙

research

∙ 12/22/2017

A Compositional Coalgebraic Semantics of Strategic Games

We provide a compositional coalgebraic semantics for strategic games. In...

0 Achim Blumensath, et al. ∙