bibliographer - Maximilian Weininger

bibliographer a curated TCS bibliography

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

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský Tobias Meggendorfer Maximilian Weininger [github]

Automata Tutor v3 Loris D'Antoni Martin Helfrich Jan Kretinsky Emanuel Ramneantu Maximilian Weininger [github]

Comparison of Algorithms for Simple Stochastic Games (Full Version) Jan Kretinsky Emanuel Ramneantu Alexander Slivinskiy Maximilian Weininger [github]

Automata Tutor v3 Loris D'Antoni Martin Helfrich Jan Emanuel Kretinsky Ramneantu Maximilian Weininger [github]

Index Appearance Record for Transforming Rabin Automata into Parity Automata Jan Křetínský Tobias Meggendorfer Clara Waldmann Maximilian Weininger [github]

Satisfiability Bounds for ømega-Regular Properties in Bounded-Parameter Markov Decision Processes Maximilian Weininger Tobias Meggendorfer Jan Kretinsky [github]

Approximating Values of Generalized-Reachability Stochastic Games Pranav Ashok Krishnendu Chatterjee Jan Křetínský Maximilian Weininger Tobias Winkler [github]

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

[show logs] [hide logs]