Axel Haddad

According to our database, Axel Haddad authored at least 14 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

One-Clock Priced Timed Games with Negative Weights.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Log. Methods Comput. Sci., 2022

2020

One-Clock Priced Timed Games with Arbitrary Weights.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

CoRR, 2020

2017

Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege

Acta Informatica, 2017

2016

Efficient Energy Distribution in a Smart Grid using Multi-Player Games.

Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege

Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015

Erratum for "Randomization in Automata on Infinite Trees".

Arnaud Carayol, Axel Haddad, Olivier Serre

ACM Trans. Comput. Log., 2015

Simple strategies for Banach-Mazur games and sets of probability 1.

Thomas Brihaye, Axel Haddad, Quentin Menet

Inf. Comput., 2015

Counting Branches in Trees Using Games.

Arnaud Carayol, Axel Haddad, Olivier Serre

CoRR, 2015

Quantitative Games under Failures.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo A. Pérez, Gabriel Renault

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Simple Priced Timed Games are not That Simple.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Randomization in Automata on Infinite Trees.

Arnaud Carayol, Axel Haddad, Olivier Serre

ACM Trans. Comput. Log., 2014

2013

Model Checking and Functional Program Transformations.

Axel Haddad

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

IO vs OI in Higher-Order Recursion Schemes

Axel Haddad

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

2011

Qualitative Tree Languages.

Arnaud Carayol, Axel Haddad, Olivier Serre

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011