From

Institution

Field

Type

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

Reset

Papers matching “temporal logic” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

12

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

citations
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
2026 Algebra Universalis article Computer Science Advanced Algebra and Logic Open access

0

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

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

21

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

8

citations
Scenario-based verification of uncertain parametric MDPs
2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

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

2

citations
Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
2022 Information Sciences article Computer Science Formal Methods in Verification Open access

Renyan Feng, Erman Acar, Yisong Wang, Wanwei Liu, Stefan Schlobach, Weiping Ding

3

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

Gerhard Lakemeyer

0

citations
A review of information sources and analysis methods for data driven decision aids in child and adolescent mental health services
2024 International Journal of Medical Informatics article Computer Science Machine Learning in Healthcare Open access

Kaban Koochakpour, Øystein Nytrø, BENNETT L. LEVENTHAL, Odd Sverre Westbye, Thomas Brox Røst, Roman A. Koposov, +4 more

2

citations
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches
2024 Journal of Artificial Intelligence Research article Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Jendrik Seipp, Héctor Geffner

0

citations

10 results