2007

@InProceedings{FM+07c,
author = {Furbach, Ulrich and Murray, Jan and Schmidsberger,
Falk and Stolzenburg, Frieder},
title = {{M}odel {C}hecking {H}ybrid {M}ultiagent {S}ystems
for the {R}obo{C}up},
booktitle = {Proceedings of the RoboCup Symposium 2007},
year = 2007,
editor = {Visser, Ubbo and Ribeiro, Fernando and Ohashi,
Takeshi and Dellaert, Frank},
note = {accepted}
}