Axel Haddad

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 12

Top Topics

Coalitional Games

Energy Distribution

Weighted Majority

Top Venues

ACM Trans. Comput. Log.

Cassting/SynCoP

Publications

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
One-Clock Priced Timed Games with Negative Weights. Log. Methods Comput. Sci. 18 (3) (2022)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
One-Clock Priced Timed Games with Arbitrary Weights. CoRR (2020)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Acta Informatica 54 (1) (2017)
Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
Efficient Energy Distribution in a Smart Grid using Multi-Player Games. Cassting/SynCoP (2016)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault
Quantitative Games under Failures. CoRR (2015)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
Simple Priced Timed Games Are Not That Simple. CoRR (2015)
Arnaud Carayol, Axel Haddad, Olivier Serre
Erratum for "Randomization in Automata on Infinite Trees". ACM Trans. Comput. Log. 16 (4) (2015)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. CONCUR (2015)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault
Quantitative Games under Failures. FSTTCS (2015)
Arnaud Carayol, Axel Haddad, Olivier Serre
Counting Branches in Trees Using Games. CoRR (2015)
Thomas Brihaye, Axel Haddad, Quentin Menet
Simple strategies for Banach-Mazur games and sets of probability 1. Inf. Comput. 245 (2015)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
Simple Priced Timed Games are not That Simple. FSTTCS (2015)
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. CoRR (2014)
Arnaud Carayol, Axel Haddad, Olivier Serre
Randomization in Automata on Infinite Trees. ACM Trans. Comput. Log. 15 (3) (2014)
Axel Haddad
Model Checking and Functional Program Transformations. FSTTCS (2013)
Axel Haddad
IO vs OI in Higher-Order Recursion Schemes FICS (2012)
Arnaud Carayol, Axel Haddad, Olivier Serre
Qualitative Tree Languages. LICS (2011)