Jakob Piribauer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Information and Computation	2024-12-03	Paper
Positivity-hardness results on Markov decision processes TheoretiCS	2024-07-03	Paper
The variance-penalized stochastic shortest path problem	2024-06-24	Paper
Foundations of probability-raising causality in Markov decision processes Logical Methods in Computer Science	2024-03-11	Paper
On probability-raising causality in Markov decision processes Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	2023-07-26	Paper
Probabilistic causes in Markov chains (available as arXiv preprint)	2022-06-22	Paper
Partial and conditional expectations in Markov decision processes with integer weights (available as arXiv preprint)	2020-01-28	Paper

Research outcomes over time

This page was built for person: Jakob Piribauer