bibliographer - Mohan Dantam

bibliographer a curated TCS bibliography

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

Finite-Memory Strategies for Almost-Sure Energy-MeanPayoff Objectives in MDPs Mohan Dantam Richard Mayr [github]

Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs Mohan Dantam Richard Mayr [github]

Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games Mohan Dantam Richard Mayr [github]

On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems Mohan Dantam Amaury Pouly [github]

On the decidability of reachability in continuous time linear time-invariant systems Mohan Dantam Amaury Pouly [github]

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

[show logs] [hide logs]