From

Institution

Field

Type

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

Reset

Papers matching “temporal logic” 64

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Temporal Constraint Satisfaction Problems in Fixed-Point Logic
2020 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research Open access

Manuel Bodirsky, Wied Pakusa, Jakub Rydval

10

citations
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access

Simon Dehn, Georg Jacobs, Gregor Höpfner

3

citations
Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
2021 conference-paper Computer Science Formal Methods in Verification

Maximilian Kloock, Qingyun He, Stefan Kowalewski, Bassam Alrifaee

3

citations
Integration of temporal single cell cellular stress response activity with logic-ODE modeling reveals activation of ATF4-CHOP axis as a critical predictor of drug-induced liver injury
2021 Biochemical Pharmacology article Pharmacology, Toxicology and Pharmaceutics Drug-Induced Hepatotoxicity and Protection Open access

Lukas S. Wijaya, Panuwat Trairatphisan, Attila Gábor, Marije Niemeijer, Jason Keet, Ariadna Alcalà Morera, +13 more

27

citations
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alessandro Riccardi, Thom Badings, Luca Laurenti, Alessandro Abate, Bart De Schutter

0

citations
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
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

9

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Gerhard Lakemeyer

1

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
Gap-Free Monitoring of Annual Mangrove Forest Dynamics in Ca Mau Province, Vietnamese Mekong Delta, Using the Landsat-7-8 Archives and Post-Classification Temporal Optimization
2020 Remote Sensing article Environmental Science Coastal wetland ecosystem dynamics Open access

Leon T. Hauser, Nguyễn An Bình, Pham Viet Hoa, Hồng Quân Nguyễn, Joris Timmermans

43

citations
Intraoperative assessment of the cerebrovascular glycocalyx and microcirculation in temporal lobe epilepsy
2021 Brain and Spine article Medicine Epilepsy research and treatment Open access

Rick H. G. J. van Lanen, Roel H. L. Haeren, Kim Rijkers, Julie Staals, Marc A. M. J. van Zandvoort, Jim T. A. Dings, +3 more

0

citations
Unsupervised Learning of Spatio-Temporal Patterns in Spiking Neuronal Networks
2024 International Conference on Neuromorphic Systems (ICONS) conference-paper Neuroscience Neural dynamics and brain function

Florian Feiler, Emre Neftci, Younes Bouhadjar

0

citations
On-Side fighting in civil war: The logic of mortal alignment in Syria
2020 Rationality and Society article Social Sciences Political Conflict and Governance Open access

Jonah Schulhofer-Wohl

8

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

1

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

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
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

1

citations
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
Verification of Robust Multi-Agent Systems
2026 conference-paper Computer Science Formal Methods in Verification Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
Computer-Interpretable Quality Indicators for Intensive Care Medicine: Development and Validation Study
2025 Journal of Medical Internet Research article Health Professions Electronic Health Records Systems Open access

Falk von Dincklage, Viktor Bublitz, Oliver Kumpf, Carlo Jurth, Reimer Rießen, Maria Deja, +2 more

2

citations
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský

21

citations