bibliographer - Jakob Piribauer

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

A Spectrum of Approximate Probabilistic Bisimulations Timm Spork Christel Baier Joost-Pieter Katoen Jakob Piribauer Tim Quatmann [github]

Risk-averse optimization of total rewards in Markovian models using deviation measures Christel Baier Jakob Piribauer Maximilian Starke [github]

Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala [github]

Linear dynamical systems with continuous weight functions Rajab Aghamov Christel Baier Toghrul Karimov Joel Ouaknine Jakob Piribauer [github]

Foundations of probability-raising causality in Markov decision processes Christel Baier Jakob Piribauer Robin Ziemek [github]

Positivity-hardness results on Markov decision processes Jakob Piribauer Christel Baier [github]

The variance-penalized stochastic shortest path problem Jakob Piribauer Ocan Sankur Christel Baier [github]

On Skolem-Hardness and Saturation Points in Markov Decision Processes Jakob Piribauer Christel Baier [github]

Library Size: 13G (8 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]