From

Institution

Field

Type

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

Reset

Papers matching “temporal logic” 12

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
Robust Shielding for Safe Reinforcement Learning
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Edwin Hamel-De le Court, Thom Badings, Alessandro Abate, Francesco Belardinelli, Francesco Fabiano

0

citations
Controlling Golog Programs against MTL Constraints
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Till Hofmann, Stefan Schupp

0

citations
Tools at the Frontiers of Quantitative Verification
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, +15 more

2

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
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

0

citations
Towards Bridging the Gap between High-Level Reasoning and Execution on Robots
2023 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Till Hofmann

0

citations

12 results