Karin Quaas profile picture

Karin Quaas

Is this your author profile? Create an account to claim and customize it!

Kleene-Schützenberger and Büchi Theorems for Weighted Timed Automata