bibliographer - Tobias Meggendorfer

bibliographer a curated TCS bibliography

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

Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma [github]

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

Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth Krishnendu Chatterjee Tobias Meggendorfer Raimundo Saona Jakub Svoboda [github]

Value Iteration for Long-run Average Reward in Markov Decision Processes Pranav Ashok Krishnendu Chatterjee Przemyslaw Daca Jan Křetínský Tobias Meggendorfer [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]

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

[show logs] [hide logs]