Axel Haddad

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