Jakob Piribauer

Available identifiers

zbMath Open piribauer.jakobMaRDI QIDQ2147194

List of research outcomes

Publication	Date of Publication	Type
Long-run satisfaction of path properties	2024-12-19	Paper
Witnessing subsystems for probabilistic systems with low tree width	2024-12-06	Paper
Entropic risk for turn-based stochastic games	2024-12-03	Paper
Entropic risk for turn-based stochastic games	2024-12-03	Paper
Positivity-hardness results on Markov decision processes	2024-07-03	Paper
The variance-penalized stochastic shortest path problem	2024-06-24	Paper
Foundations of probability-raising causality in Markov decision processes	2024-03-11	Paper
On probability-raising causality in Markov decision processes	2024-01-23	Paper
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking	2023-08-21	Paper
Operational causality -- necessarily sufficient and sufficiently necessary	2023-07-26	Paper
Probabilistic causes in Markov chains	2022-06-22	Paper
Partial and conditional expectations in Markov decision processes with integer weights	2020-01-28	Paper

Research outcomes over time

This page was built for person: Jakob Piribauer