|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - GAVS+: An Open Platform for the Research of Algorithmic Game Solving
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. Gavs+: An open platform for the research of algorithmic game solving. In TACAS, pages 258–261, 2011.
Suggested BibTeX entry:
@inproceedings{DBLP:conftacasChengKLB11,
author = {Chih-Hong Cheng and Alois Knoll and Michael Luttenberger and Christian Buckl},
booktitle = {TACAS},
pages = {258-261},
title = {GAVS+: An Open Platform for the Research of Algorithmic Game Solving},
year = {2011}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|