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
The modal logic of abstraction refinement	2026-08-24	Paper
Demonic variance and a non-determinism score for Markov decision processes	2026-05-12	Paper
From verification to causality-based explications (invited talk)	2026-05-12	Paper
Linear dynamical systems with weight functions Nonlinear Analysis. Hybrid Systems	2026-03-20	Paper
On Skolem-hardness and saturation points in Markov decision processes	2026-03-18	Paper
A spectrum of approximate probabilistic bisimulations	2026-02-10	Paper
Risk-averse optimization of total rewards in Markovian models using deviation measures	2026-02-10	Paper
Counterfactual causality for reachability and safety based on distance functions	2025-08-19	Paper
Linear dynamical systems with continuous weight functions	2025-04-25	Paper
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