| LARSEN, Kim G., Simon LAURSEN a Jiří SRBA. Action Investment Energy Games. In Kucera, A.; Henzinger, Th.A.; Nesetril, J.; Vojnar, T.; Antos, D. Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12). Netherlands: Springer, 2013, s. 155-167. ISBN 978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6_15. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1079126,
author = {Larsen, Kim G. and Laursen, Simon and Srba, Jiří},
address = {Netherlands},
booktitle = {Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12)},
doi = {http://dx.doi.org/10.1007/978-3-642-36046-6_15},
editor = {Kucera, A.; Henzinger, Th.A.; Nesetril, J.; Vojnar, T.; Antos, D.},
keywords = {energy games; cost; infinite runs; complexity},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Netherlands},
isbn = {978-3-642-36044-2},
pages = {155-167},
publisher = {Springer},
title = {Action Investment Energy Games},
year = {2013}
}
TY - JOUR
ID - 1079126
AU - Larsen, Kim G. - Laursen, Simon - Srba, Jiří
PY - 2013
TI - Action Investment Energy Games
PB - Springer
CY - Netherlands
SN - 9783642360442
KW - energy games
KW - cost
KW - infinite runs
KW - complexity
N2 - 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.
ER -
LARSEN, Kim G., Simon LAURSEN a Jiří SRBA. Action Investment Energy Games. In Kucera, A.; Henzinger, Th.A.; Nesetril, J.; Vojnar, T.; Antos, D. \textit{Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12)}. Netherlands: Springer, 2013, s.~155-167. ISBN~978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6\_{}15.
|
