X. Allamigeon, P. Benchimol, and S. Gaubert, The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average, Proceedings, Part I, pp.89-100, 2014.
DOI : 10.1007/978-3-662-43948-7_8
URL : https://hal.archives-ouvertes.fr/hal-01096447

R. Bellman, On a routing problem, Quarterly of Applied Mathematics, vol.16, issue.1, pp.87-90, 1958.
DOI : 10.1090/qam/102435

C. Bettini, X. S. Wang, and S. Jajodia, Temporal Reasoning in Workflow Systems, Distributed and Parallel Databases, vol.11, issue.3, pp.269-306, 2002.
DOI : 10.1023/A:1014048800604

L. Brim and J. Chaloupka, USING STRATEGY IMPROVEMENT TO STAY ALIVE, International Journal of Foundations of Computer Science, vol.340, issue.03, pp.585-608, 2012.
DOI : 10.1016/0304-3975(95)00188-3
URL : http://arxiv.org/abs/1006.1405

L. Brim, J. Chaloupka, L. Doyen, R. Gentilini, and J. F. Raskin, Faster algorithms for mean-payoff games, Formal Methods in System Design, pp.97-118, 2011.

M. Cairo, C. Comin, and R. Rizzi, Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), pp.80-89, 2016.
DOI : 10.1109/TIME.2016.16
URL : https://hal.archives-ouvertes.fr/hal-01577460

M. Chatterjee, S. Henzinger, D. Krinninger, and . Nanongkai, Polynomial-Time Algorithms for Energy Games with Special Weight Structures, Algorithmica, vol.158, issue.1???2, pp.457-492, 2014.
DOI : 10.1016/0304-3975(95)00188-3
URL : http://arxiv.org/pdf/1604.08234

A. Cimatti, L. Hunsberger, A. Micheli, R. Posenato, and M. Roveri, Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation, 2014 21st International Symposium on Temporal Representation and Reasoning, pp.27-36, 2014.
DOI : 10.1109/TIME.2014.21

C. Combi, M. Gambini, S. Migliorini, and R. Posenato, Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways, Systems, Man, and Cybernetics: Systems, IEEE Transactions on, vol.44, issue.9, pp.1182-1203, 2014.

C. Combi, M. Gozzi, R. Posenato, and G. Pozzi, Conceptual modeling of flexible temporal workflows, ACM Transactions on Autonomous and Adaptive Systems, vol.7, issue.2, pp.1-19, 2012.
DOI : 10.1145/2240166.2240169

C. Combi, L. Hunsberger, and R. Posenato, An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited, ICAART 2013 -Proc. of the 5th Intern. Conf. on Agents and Artif, pp.144-156, 2013.
DOI : 10.1007/978-3-662-44440-5_19

C. Comin, R. Posenato, and R. Rizzi, A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games, 2014 21st International Symposium on Temporal Representation and Reasoning, pp.10-1109, 2014.
DOI : 10.1109/TIME.2014.19
URL : https://hal.archives-ouvertes.fr/hal-01577455

C. Comin and R. Rizzi, Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), pp.19-28, 2015.
DOI : 10.1109/TIME.2015.18

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2001.

J. Eder, E. Panagos, and M. Rabinovich, Time Constraints in Workflow Systems Advanced Inform, Systems Eng. LNCS, vol.1626, pp.286-300, 1999.

A. Ehrenfeucht and J. Mycielski, Positional strategies for mean payoff games, International Journal of Game Theory, vol.59, issue.2, pp.109-113, 1979.
DOI : 10.1007/BF01768705

E. Grädel and W. , Automata Logics, and Infinite Games: A Guide to Current Research, 2002.
DOI : 10.1007/3-540-36387-4

L. Hunsberger and R. Posenato, Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times, Proc. of the Twenty-Sixth Internat. Conf. on Automated Planning and Scheduling, ICAPS 2016, pp.175-183, 2016.

L. Hunsberger, R. Posenato, and C. Combi, The Dynamic Controllability of Conditional STNs with Uncertainty, Proc. of the Plan. and Plan Exec. for Real-World Syst.: Princip. and Pract. (PlanEx), ICAPS-2012, pp.121-128, 2012.

L. Hunsberger, R. Posenato, and C. Combi, A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), pp.4-18, 2015.
DOI : 10.1109/TIME.2015.26

M. D. Moffitt and M. E. Pollack, Applying Local Search to Disjunctive Temporal Problems, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp.242-247, 2005.

A. Oddi, Constraint-Based Strategies for the Disjunctive Temporal Problem: Some New Results, Proceedings of the Sixth European Conference on Planning, 2014.

A. Pani and G. Bhattacharjee, Temporal representation and reasoning in artificial intelligence: A review, Mathematical and Computer Modelling, vol.34, issue.1-2, pp.1-2, 2001.
DOI : 10.1016/S0895-7177(01)00049-8

D. Smith, A. Frank, and . Jónsson, Bridging the gap between planning and scheduling, The Knowledge Engineering Review, vol.15, issue.1, pp.47-83, 2000.
DOI : 10.1017/S0269888900001089

I. Tsamardinos and M. E. Pollack, Efficient solution techniques for disjunctive temporal reasoning problems, Artificial Intelligence, vol.151, issue.1-2, pp.43-89, 2003.
DOI : 10.1016/S0004-3702(03)00113-9
URL : https://doi.org/10.1016/s0004-3702(03)00113-9

I. Tsamardinos, T. Vidal, and M. Pollack, CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning, Constraints, vol.8, issue.4, pp.365-388, 2003.
DOI : 10.1023/A:1025894003623

U. Zwick and M. Paterson, The complexity of mean payoff games on graphs, Theoretical Computer Science, vol.158, issue.1-2, pp.343-359, 1996.
DOI : 10.1016/0304-3975(95)00188-3