Karin Quaas

(1 - 7 von 8

)

de.slideshare.net

Metric Temporal Logic over Data Words Seminar Oxford Women in Computer Science Karin Quaas University of Leipzig

[ ] Synchronizing Data Words for Register Automata

arxiv.org

Submission history. From: Karin Quaas [view email] [v1] Fri, 6 Oct :53:13 GMT (231kb,D). Which authors of this paper are endorsers?

DLT Stuttgart

www2.informatik.uni-stuttgart.de

Karin Quaas. Abstract: We aim to generalize Büchi's fundamental theorem on the coincidence of recognizable and MSO-definable languages to the weighted ...

[ ] Verification for Timed Automata extended with Unbounded...

arxiv.org

Submission history. From: Karin Quaas [view email] [via LMCS proxy] [v1] Tue, 25 Mar :18:02 UTC (23 KB) [v2] Mon, 13 Jul :04:08 UTC (33 KB)

Karin Quaas

theory.eecs.qmul.ac.uk

Karin Quaas. We study decidability of verification problems for timed automata extended with discrete counters. In this way, we obtain a strong model that may ...