From

Institution

Field

Type

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

Reset

Papers matching “temporal abstraction” 38

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
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
2021 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

1

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
THGFM: Dual-Branch Temporal Heterogeneous Graph Fusion Model
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Yixin Peng, Diego Collarana, 金儿, Stefan Decker

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
Quantum generative modeling for financial time series with temporal correlations
2026 Machine Learning Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

David Dechant, Eliot Schwander, Lucas Van Drooge, Charles Moussa, Diego Garlaschelli, Vedran Dunjko, +1 more

3

citations
Multilevel ensemble Kalman filtering for spatio-temporal processes
2020 Numerische Mathematik article Computer Science Target Tracking and Data Fusion in Sensor Networks Open access

Alexey Chernov, Håkon Hoel, Kody J. H. Law, Fabio Nobile, Raul F. Tempone

2

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
Fast maximal clique enumeration in weighted temporal networks
2026 Social Network Analysis and Mining article Computer Science Graph Theory and Algorithms Open access

Hanjo D. Boekhout, Frank W. Takes

0

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
“Want to come play with me?” Outlier subgroup discovery on spatio‐temporal interactions
2021 Expert Systems article Computer Science Data Mining Algorithms and Applications Open access

Carolina Centeio Jorge, Martin Atzmueller, Behzad Momahed Heravi, Jenny L. Gibson, Rosaldo J. F. Rossetti, Cláudio Rebelo de Sá

4

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Model-based Reinforcement Learning: A Survey
2023 Foundations and Trends® in Machine Learning article Computer Science Reinforcement Learning in Robotics Open access cited by 2 patents

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

530

citations
Model-based Reinforcement Learning: A Survey
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Thomas M. Moerland, Joost Broekens, Aske Plaat, Catholijn M. Jonker

82

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

1

citations
Benchmarking online sequence-to-sequence and character-based handwriting recognition from IMU-enhanced pens
2022 International Journal on Document Analysis and Recognition (IJDAR) article Computer Science Handwritten Text Recognition Techniques Open access cited by 1 patent

Felix Ott, David Rügamer, Lucas Heublein, Tim Hamann, Jens Barth, Bernd Bischl, +1 more

26

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
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Muhammad Osama, Anton Wijs

4

citations
Robust and accurate regression-based techniques for period inference in real-time systems
2022 Real-Time Systems article Computer Science Real-Time Systems Scheduling Open access

Șerban Vădineanu, Mitra Nasri

3

citations
Who Did What When? Discovering Complex Historical Interrelations in Immersive Virtual Reality
2023 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) conference-paper Computer Science Data Visualization and Analytics Open access

Melanie Derksen, Mohammad Fazleh Elahi, Angelika Maier, Marius Maile, Ingo Pätzold, Jonas Penningroth, +7 more

2

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
Finite-Time Analysis of Natural Actor-Critic for POMDPs
2024 SIAM Journal on Mathematics of Data Science article Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Niao He, R. Srikant

2

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
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
Enhanced automatic feature extraction in heterogeneous biomedical time series for optimization of clinical monitoring and diagnosis
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Time Series Analysis and Forecasting Open access

Pejman Farhadi Ghalati

0

citations