Florian Horn

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 9

Top Topics

Nash Equilibria

Matrix Multiplication

Top Venues

Publications

Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
Playing Safe, Ten Years Later. Log. Methods Comput. Sci. 20 (1) (2024)
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
Games on Graphs. CoRR (2023)
Laurent Bulteau, Pierre-Yves David, Florian Horn
The Problem of Discovery in Version Control Systems. LAGOS (2023)
Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
Playing Safe, Ten Years Later. CoRR (2022)
Florian Horn, Arnaud Sangnier
Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks. CONCUR (2020)
Florian Horn, Arnaud Sangnier
Deciding the existence of cut-off in parameterized rendez-vous networks. CoRR (2020)
Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
Two Recursively Inseparable Problems for Probabilistic Automata. CoRR (2017)
Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak
Trading Bounds for Memory in Games with Counters. CoRR (2017)
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
Entropy Games and Matrix Multiplication Games. STACS (2016)
Nathanaël Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak
Trading Bounds for Memory in Games with Counters. ICALP (2) (2015)
Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
Optimal strategy synthesis for request-response games. RAIRO Theor. Informatics Appl. 49 (3) (2015)
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin
Entropy Games. CoRR (2015)
Thomas Colcombet, Nathanaël Fijalkow, Florian Horn
Playing Safe. FSTTCS (2014)
Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
Optimal Strategy Synthesis for Request-Response Games. CoRR (2014)
Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
Two Recursively Inseparable Problems for Probabilistic Automata. MFCS (1) (2014)
Nathanaël Fijalkow, Florian Horn
Les jeux d'accessibilité généralisée. Tech. Sci. Informatiques 32 (9-10) (2013)
Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks. Int. J. Found. Comput. Sci. 22 (3) (2011)
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
The Complexity of Request-Response Games. LATA (2011)
Hugo Gimbert, Florian Horn
Solving Simple Stochastic Tail Games. SODA (2010)
Krishnendu Chatterjee, Florian Horn, Christof Löding
Obliging Games. CONCUR (2010)
Nathanaël Fijalkow, Florian Horn
The surprizing complexity of reachability games CoRR (2010)
Julien Cristau, Claire David, Florian Horn
How do we remember the past in randomised strategies? GANDALF (2010)
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
Stochastic Games with Finitary Objectives. MFCS (2009)
Hugo Gimbert, Florian Horn
Solving Simple Stochastic Games with Few Random Vertices Logical Methods in Computer Science 5 (2) (2009)
Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
exclusion on tree networks. IPDPS (2009)
Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn
Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11 (1) (2009)
Florian Horn
Random Fruits on the Zielonka Tree CoRR (2009)
Florian Horn
Random Fruits on the Zielonka Tree. STACS (2009)
Florian Horn, Wolfgang Thomas, Nico Wallmeier
Optimal Strategy Synthesis in Request-Response Games. ATVA (2008)
Hugo Gimbert, Florian Horn
Solving Simple Stochastic Games. CiE (2008)
Hugo Gimbert, Florian Horn
Simple Stochastic Games with Few Random Vertices Are Easy to Solve. FoSSaCS (2008)
Julien Cristau, Florian Horn
Graph Games on Ordinals. FSTTCS (2008)
Florian Horn
Explicit Muller Games are PTIME. FSTTCS (2008)
Julien Cristau, Florian Horn
On Reachability Games of Ordinal Length. SOFSEM (2008)
Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
Self-stabilizing K-out-of-L exclusion on tree network CoRR (2008)
Florian Horn, Hugo Gimbert
Optimal Strategies in Perfect-Information Stochastic Games with Tail Winning Conditions CoRR (2008)
Florian Horn
Dicing on the Streett. Inf. Process. Lett. 104 (1) (2007)
Florian Horn
Faster Algorithms for Finitary Games. TACAS (2007)