bibliographer - J. Křetínský

bibliographer a curated TCS bibliography

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

Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes J. Křetínský T. Meggendorfer [github]

Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints J. Kretinsky G. A. Perez J.-F. Raskin [github]

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

[show logs] [hide logs]