From

Institution

Field

Type

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

Reset

Papers matching “probabilistic behavior” 23

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Automated Termination Analysis of Polynomial Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations
Probabilistic Multi-agent Only-Believing
2024 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge

Qihui Feng, Gerhard Lakemeyer

0

citations
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

5

citations
Integrating KoAT’s push-button probabilistic cost analysis into Caesar
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Mats Eblenkamp

0

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Introducing Asynchronicity to Probabilistic Hyperproperties
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

0

citations
Working Age: Providing Occupational Safety through Pervasive Sensing and Data Driven Behavior Modeling
2020 Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference conference-paper Computer Science Context-Aware Activity Recognition Systems Open access

Mariagrazia Fugini, Alessandro Barenghi, Sara Comai, Gerardo Pelosi, Roberto Tedesco, Marteyn van Gasteren, +12 more

12

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Non-linear Optimization Methods for Learning Regular Distributions
2022 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

Wenjing Chu, Shuo Chen, Marcello Bonsangue

1

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
Local policy search with Bayesian optimization
2021 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Sarah Müller, Alexander von Rohr, Sebastian Trimpe

17

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
Synthia: multidimensional synthetic data generation in Python
2021 The Journal of Open Source Software article Computer Science Computational Physics and Python Applications Open access

Thomas Nagler

27

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

14

citations
Necessary and Sufficient Condition for Randomness Certification from Incompatibility
2025 Physical Review Letters article Computer Science Quantum Information and Cryptography Open access

X. D. Yu, Jordi Tura, Qiongyi He

5

citations
Model-based reinforcement learning for hydraulic systems: a PILCO-based control strategy for controlling an inverted hydraulic pendulum
2025 International Journal of Dynamics and Control article Computer Science Reinforcement Learning in Robotics Open access

Faras Brumand‐Poor, Paul Wagemann, Timm Geibel, Katharina Schmitz

4

citations
SpinTrap: Catching Speeding QUIC Flows
2024 IEEE Network Operations and Management Symposium (NOMS) conference-paper Computer Science Network Traffic and Congestion Control

Ike Kunze, Constantin Sander, Lars Tissen, Benedikt Bode, Klaus Wehrle

2

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

0

citations
Assessing the Similarity of Real Matrices with Arbitrary Shape
2025 PRX Life article Computer Science Matrix Theory and Algorithms Open access

Jasper Albers, Anno Christopher Kurth, Robin Gutzen, Aitor Morales-Gregorio, Michael Denker, Sonja Grün, +2 more

0

citations
Assessing the similarity of real matrices with arbitrary shape
2024 JuSER (Forschungszentrum Jülich) preprint Computer Science Matrix Theory and Algorithms Open access

Jasper Albers, Anno Christopher Kurth, Robin Gutzen, Aitor Morales-Gregorio, Michael Denker, Sonja Grün, +2 more

0

citations

23 results