Florian Horn

Identifiers

• name variant Florian Horn 0.60 · backfill

Papers (4)

1. Two Recursively Inseparable Problems for Probabilistic Automata cs.FL · 2017 · author #3
2. Trading Bounds for Memory in Games with Counters cs.FL · 2017 · author #2
3. Optimal Strategy Synthesis for Request-Response Games cs.FL · 2014 · author #1
4. Random Fruits on the Zielonka Tree cs.GT · 2009 · author #1

Mentions

• 0902.2736 #1 · backfill · confidence 0.70 Florian Horn

Frequent Coauthors

• Nathana\"el Fijalkow 2 shared papers
• Denis Kuperberg 1 shared papers
• Hugo Gimbert 1 shared papers
• Martin Zimmermann 1 shared papers
• Micha{\l} Skrzypczak 1 shared papers
• Nico Wallmeier 1 shared papers
• Wolfgang Thomas 1 shared papers
• Youssouf Oualhadj 1 shared papers