Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg. Model Checking Hybrid Multiagent Systems for the RoboCup. In Proceedings of the RoboCup Symposium 2007, Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert (eds.), 2007.
@InProceedings{Furbach07,
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},
editor = {Visser, Ubbo and Ribeiro, Fernando and Ohashi, Takeshi and Dellaert, Frank},
Year = {2007}
}
Get EndNote Reference (.ref)