Action Investment Energy Games

We introduce the formalism of action investment energy games where we study the trade-off between investments limited by given budgets and resource constrained (energy) behavior of the underlying system. More specifically, we consider energy games extended with costs of enabling actions and fixed budgets for each player. We ask the question whether for any Player 2 investment there exists a Player 1 investment such that Player 1 wins the resulting energy game. We study the action investment energy game for energy intervals with both upper and lower bounds, and with a lower bound only, and give a complexity results overview for the problem of deciding the winner in the game.

[1]  Krishnendu Chatterjee,et al.  Energy and Mean-Payoff Parity Markov Decision Processes , 2011, MFCS.

[2]  Szymon Torunczyk,et al.  Energy and Mean-Payoff Games with Imperfect Information , 2010, CSL.

[3]  Kim G. Larsen,et al.  Dual-Priced Modal Transition Systems with Time Durations , 2012, LPAR.

[4]  Kim G. Larsen,et al.  Timed automata with observers under energy constraints , 2010, HSCC '10.

[5]  Krishnendu Chatterjee,et al.  Energy Parity Games , 2010, ICALP.

[6]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[7]  Frank Wolter,et al.  Monodic fragments of first-order temporal logics: 2000-2001 A.D , 2001, LPAR.

[8]  Antonio Cerone,et al.  Theoretical Aspects of Computing (ICTAC 2011) , 2014, Theor. Comput. Sci..

[9]  Kim G. Larsen,et al.  Infinite Runs in Weighted Timed Automata with Energy Constraints , 2008, FORMATS.

[10]  Pierre-Yves Schobbens,et al.  Symbolic model checking of software product lines , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[11]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[12]  Pierre-Yves Schobbens,et al.  Model checking lots of systems: efficient verification of temporal properties in software product lines , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[13]  Krishnendu Chatterjee,et al.  Generalized Mean-payoff and Energy Games , 2010, FSTTCS.

[14]  Piotr Sankowski,et al.  Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings , 2011, MFCS.

[15]  Alex K. Simpson,et al.  Computational Adequacy in an Elementary Topos , 1998, CSL.

[16]  Kim G. Larsen,et al.  Energy Games in Multiweighted Automata , 2011, ICTAC.

[17]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.