S
Stefan Göller
Researcher at University of Kassel
Publications - 9
Citations - 66
Stefan Göller is an academic researcher from University of Kassel. The author has contributed to research in topics: Decidability & Upper and lower bounds. The author has an hindex of 4, co-authored 9 publications receiving 59 citations. Previous affiliations of Stefan Göller include Leipzig University.
Papers
More filters
Journal ArticleDOI
PDL with intersection and converse: satisfiability and infinite-state model checking
TL;DR: The two main results are that satisfiability is in 2ΕΧΡΤΙΜΕ-complete by an existing lower bound, and infinite-state model checking of basic process algebras and pushdown systems is also 2Ωάδά-complete.
Proceedings ArticleDOI
On Büchi One-Counter Automata
TL;DR: The first result shows that decidability no longer holds when moving from finite words to infinite words and proves that already the equivalence problem for deterministic Buchi one-counter automata is undecidable.
Proceedings ArticleDOI
Concurrency Makes Simple Theories Hard
Stefan Göller,Anthony W. Lin +1 more
TL;DR: It is shown that even the simplest notion of product operators (i.e. asynchronous products) suces to increase the complexity of model checking simple logics like HennessyMilner (HM) logic and its extension with the reachability operator (EF-logic) from PSPACE to nonelementary.
Journal ArticleDOI
Reachability on prefix-recognizable graphs
TL;DR: It is proved that on prefix-recognizable graphs reachability is complete for deterministic exponential time matching the complexity of alternating reachability.
Proceedings ArticleDOI
On Long Words Avoiding Zimin Patterns.
Arnaud Carayol,Stefan Göller +1 more
TL;DR: A doubly-exponential upper bound for encountering Zimin patterns in the abelian sense is proved and it is stated that f(n,k) is lower-bounded by a tower of n-3 exponentials, even for k=2.