From

Institution

Field

Type

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

Reset

Papers matching “probabilistic systems” 314

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Regional Sensitivity Analysis for Maximum Static Transfer Capability of Power Systems by Dimension-Adaptive Sparse Grid Interpolation
2023 IEEE Transactions on Power Systems article Engineering Power System Optimization and Stability

Xingyu Lin, Sui Peng, Junjie Tang, Ferdinanda Ponci, Antonello Monti, Wenyuan Li

5

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Javier Esparza, Vincent P. Grande

0

citations
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

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
Investigating the impact of electric vehicle charging and photovoltaic systems on a rural and a suburban low-voltage grid
2022 IET conference proceedings. conference-paper Engineering Electric Vehicles and Infrastructure

Marcel Kurth, Chris Martin Vertgewall, Philipp Lutat, Benjamin Jung, Andreas Ulbig, Malte Peikenkamp, +1 more

2

citations
A direct and analytical method for inverse problems under uncertainty in energy system design: combining inverse simulation and Polynomial Chaos theory
2024 Energy Informatics article Decision Sciences Probabilistic and Robust Engineering Design Open access

Sebastian Schwarz, Daniele Carta, Antonello Monti, Andrea Benigni

3

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

2

citations
The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
Can we phase-out all of them? Probabilistic assessments of security of electricity supply for the German case
2020 Applied Energy article Engineering Integrated Energy Systems Optimization

Lars Nolting, Aaron Praktiknjo

23

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

Joost-Pieter Katoen

5

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
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Joost-Pieter Katoen

0

citations
Probabilistic Time-Dependent Simultaneity Factors for DER-Dominated Distribution Grids
2026 International Conference on Smart Energy Systems and Technologies (SEST) conference-paper Engineering Optimal Power Flow Distribution

Julian Bigalke, Tim Weber, Andreas Bong, Andreas Ulbig

0

citations
Discrete Fourier Transformation Matrix for Global Sensitivity Analysis in Probabilistic Optimal Power Flow Calculation
2026 CSEE Journal of Power and Energy Systems article Engineering Optimal Power Flow Distribution Open access

Xingyu Lin, Junzhou Wang, J Tang, Ferdinanda Ponci, Antonello Monti, Author image of Wenyuan Li Wenyuan Li

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
Data-Driven Modeling for Digital Representations in Energy Systems
2026 JuSER (Forschungszentrum Jülich) dissertation Engineering Power System Optimization and Stability Open access

Marcel Zimmer

0

citations
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

7

citations
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
2025 International Symposium on Principles and Practice of Declarative Programming (PPDP) conference-paper Computer Science Logic, programming, and type systems Open access

1

citations
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

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
Combining Deep Learning and Physical Models: A Benchmark Study on All‐Sky Imager‐Based Solar Nowcasting Systems
2023 Solar RRL article Computer Science Solar Radiation and Photovoltaics Open access

Yann Fabel, Bijan Nouri, Stefan Wilbert, Niklas Benedikt Blum, Dominik Schnaus, Rudolph Triebel, +4 more

20

citations