Karin Quaas | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Axel Legay
19 publications
Uli Fahrenberg
9 publications
Stéphane Demri
6 publications

research

∙ 02/10/2023

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures

We introduce the class of tree constraint automata with data values in Z...

0 Stéphane Demri, et al. ∙

research

∙ 10/20/2019

Computing Branching Distances Using Quantitative Games

We lay out a general method for computing branching distances between la...

0 Uli Fahrenberg, et al. ∙

Success!

An error occurred