A
Andreas Krebs
Researcher at University of Tübingen
Publications - 105
Citations - 542
Andreas Krebs is an academic researcher from University of Tübingen. The author has contributed to research in topics: Regular language & Model checking. The author has an hindex of 11, co-authored 105 publications receiving 483 citations.
Papers
More filters
Journal ArticleDOI
Problems on Finite Automata and the Exponential Time Hypothesis
Henning Fernau,Andreas Krebs +1 more
TL;DR: This work focuses on three types of problems: universality, equivalence, and emptiness of intersection, known to be CoNP-hard for nondeterministic finite automata, even when restricted to unary input alphabets.
Journal ArticleDOI
Characterizing TC 0 in Terms of Infinite Groups
TL;DR: This work investigates type-respecting mappings and construct a new type of block product that more adequately deals with infinite monoids and exhibits two classes of finitely typed groups which exactly characterize TC0 and L(Maj[<]) via inverse morphisms.
Proceedings ArticleDOI
A Team Based Variant of CTL
TL;DR: In this article, two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one are introduced, and the computational complexity of the satisfiability problem is shown to be EXPTIME-complete.
Proceedings ArticleDOI
Team semantics for the specification and verification of hyperproperties
TL;DR: In this paper, a team semantics for Linear Temporal Logic (LTL) is proposed to express hyperproperties, which have recently been identified as a key concept in the verification of information flow properties.
Proceedings ArticleDOI
Two-variable Logic with a Between Relation
TL;DR: An extension of FO2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables is studied, and an effective necessary condition is given, in terms of the syntactic monoid of a regular language, for a property to be expressible in this logic.