GAVS+: An open platform for the research of algorithmic game solving

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6605 LNCS, Issue , 2011, Pages 258-261

  Cheng, Chih Hong ^a   Knoll, Alois ^a   Luttenberger, Michael ^a   Buckl, Christian ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b FORTISS GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN AND ANALYSIS; GAME SOLVING; PUSHDOWN GRAPHS; UTILITY FUNCTIONS;

PROFITABILITY;

ALGORITHMS;

EID: 79953228551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19835-9_22     Document Type: Conference Paper

References (12)

1. Alur, R., Madhusudan, P., Nam, W.: Symbolic computational techniques for solving games. International Journal on Software Tools for Technology Transfer (STTT) 7(2), 118-128 (2005)
2. Cachat, T.: Games on Pushdown Graphs and Extensions. PhD thesis, RWTH Aachen (2003)
3. Cheng, C.-H., Buckl, C., Luttenberger, M., Knoll, A.: GAVS: Game arena visualization and synthesis. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 347-352. Springer, Heidelberg (2010)
4. Cheng, C.-H., Rueß, H., Knoll, A., Buckl, C.: Synthesis of fault-tolerant embedded systems using games: From theory to practice. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 118-133. Springer, Heidelberg (2011)
5. Condon, A.: On algorithms for simple stochastic games. Advances in Computational Complexity theory 13, 51-73 (1993)
6. De Alfaro, L., Henzinger, T., Kupferman, O.: Concurrent reachability games. Theoretical Computer Science 386(3), 188-217 (2007)
7. Edelkamp, S., Kissmann, P.: Symbolic exploration for general game playing in pddl. In: ICAPS-Workshop on Planning in Games (2007)
8. Fox, M., Long, D.: Pddl2.1: An extension to pddl for expressing temporal planning domains. Journal of Artificial Intelligence Research 20(1), 61-124 (2003)
9. Mohalik, S., Walukiewicz, I.: Distributed games. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 338-351. Springer, Heidelberg (2003)
10. Shapley, L.: Stochastic games. Proceedings of the National Academy of Sciences of the United States of America 39, 1095 (1953)
11. Vöge, J., Jurdziński,M.: A discrete strategy improvement algorithm for solving parity games. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 202-215. Springer, Heidelberg (2000)
12. White, C., et al.: Markov decision processes. European Journal of Operational Research 39(1), 1-16 (1989)