From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “undecidability” 34

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Simple Numeric Planning with Two Variables Is Decidable
2025 Frontiers in artificial intelligence and applications book-chapter Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
Multi-Valued Partial Order Plans in Numeric Planning
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Hayyan Helal, Gerhard Lakemeyer

0

citations
A Constructive Approach to Freyd Categories
2020 Applied Categorical Structures article Computer Science Logic, programming, and type systems Open access

4

citations
On the Verification of Belief Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

2

citations
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

Matthias Hoelzel, Richard Wilke

2

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Residuality and Learning for Nondeterministic Nominal Automata
2022 Logical Methods in Computer Science article Computer Science semigroups and automata theory Open access

Joshua Moerman, Matteo Sammartino

1

citations
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata
2020 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory Open access

0

citations
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2020 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata
2021 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory

Elisabet Burjons, Fabian Frei, Martin Raszyk

0

citations
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Resynchronized Uniformization and Definability Problems for Rational Relations
2023 Discrete Mathematics & Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Christof Löding, Sarah Winter

0

citations
A Framework for Belief-based Programs and Their Verification
2025 Journal of Artificial Intelligence Research article Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu, Gerhard Lakemeyer

0

citations
Model checking hyperproperties for Markov decision processes
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

5

citations
A Constructive Approach to Freyd Categories
2021 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

Sebastian Posur

3

citations
Computability and Its Limitations
2021 Graduate texts in mathematics book-chapter Computer Science Computability, Logic, AI Algorithms

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

0

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

31

citations
Scenario-Based Verification of Uncertain MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

20

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Search and Explore: Symbiotic Policy Synthesis in POMDPs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

7

citations
Methoden für die automatische Komplexitäts- und Terminierungsanalyse von (probabilistischen) Programmen und ihre Vollständigkeit
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Marcel Hark

1

citations
A Regular and Complete Notion of Delay for Streaming String Transducers
2022 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter

1

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Value-Sensitive Disagreement Analysis for Online Deliberation
2024 Frontiers in artificial intelligence and applications book-chapter Computer Science Sentiment Analysis and Opinion Mining Open access

Michiel van der Meer, Piek T. J. M. Vossen, Catholijn M. Jonker, Pradeep Kumar Murukannaiah

0

citations