Florian Horn

Available identifiers

Publication	Date of Publication	Type
Playing Safe, Ten Years Later	2024-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5089313	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5150998	2021-02-16	Paper
Entropy Games and Matrix Multiplication Games	2018-01-24	Paper
Playing Safe	2017-04-25	Paper
Optimal strategy synthesis for request-response games	2016-01-22	Paper
Trading Bounds for Memory in Games with Counters	2015-11-04	Paper
Finitary winning in ω-regular games	2015-09-17	Paper
Two Recursively Inseparable Problems for Probabilistic Automata	2014-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q5417672	2014-05-22	Paper
Explicit Muller Games are PTIME	2012-10-19	Paper
Graph Games on Ordinals	2012-10-19	Paper
Random Fruits on the Zielonka Tree	2012-04-24	Paper
The Complexity of Request-Response Games	2011-06-03	Paper
SELF-STABILIZING k-out-of-ℓ EXCLUSION IN TREE NETWORKS	2011-05-10	Paper
Obliging Games	2010-08-31	Paper
Dicing on the Streett	2010-03-24	Paper
Stochastic Games with Finitary Objectives	2009-10-16	Paper
Solving Simple Stochastic Games with Few Random Vertices	2009-06-30	Paper
Optimal strategy synthesis for request-response games	2008-11-20	Paper
Solving Simple Stochastic Games	2008-06-19	Paper
Simple Stochastic Games with Few Random Vertices Are Easy to Solve	2008-04-11	Paper
On Reachability Games of Ordinal Length	2008-03-07	Paper
Faster Algorithms for Finitary Games	2007-09-03	Paper

This page was built for person: Florian Horn