Lars Luthmann | DeepAI

DeepAI

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

Featured Co-authors

Malte Lochau
6 publications
Hendrik Göttmann
2 publications

research

∙ 10/20/2019

Checking Timed Bisimulation with Bounded Zone-History Graphs – Technical Report

Timed automata (TA) are a well-established formalism for discrete-state/...

0 Lars Luthmann, et al. ∙

research

∙ 09/09/2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

I/O conformance testing theories (e.g., ioco) are concerned with formall...

0 Lars Luthmann, et al. ∙