Abstract
Model checking can be a very useful set of tools in the field of decision-making when evaluating global playing strategies. This paper analyzes the playing strategies of a group of humanoid robots equipped with an onboard camera, assuming they have a probabilistic playing model. Once a playing model is proposed as a global strategy for deciding between attacking and defending, this model is analyzed in order to modify the values of its parameters depending on the robot capabilities of both teams.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. The MIT Press (2005)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems, 2nd edn. Cambridge University Press (2004)
Burch, J.R., Clarke, E.M., Long, D.E., McMillan, K.L., Dill, D.L.: Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13(4), 401–424 (1994)
Clarke, Grumberg, Peled: Model Checking, p. 14. The MIT Press (1999)
Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the probabilistic model checker PRISM. Electronic Notes in Theoretical Computer Science 153(2), 5–31 (2005)
Bustamante, C., Garrido, L., Soto, R.: Comparing Fuzzy Naive Bayes and Gaussian Naive Bayes for Decision Making in RoboCup 3D. In: Gelbukh, A., Reyes-Garcia, C.A. (eds.) MICAI 2006. LNCS (LNAI), vol. 4293, pp. 237–247. Springer, Heidelberg (2006)
Guerrero, P.E., Ruiz-del-Solar, J., Díaz, G.: Probabilistic Decision Making in Robot Soccer. In: Visser, U., Ribeiro, F., Ohashi, T., Dellaert, F. (eds.) RoboCup 2007. LNCS (LNAI), vol. 5001, pp. 29–40. Springer, Heidelberg (2008)
Furbach, U., Murray, J., Schmidsberger, F., Stolzenburg, F.: Model Checking Hybrid Multiagent Systems for the RoboCup. In: Visser, U., Ribeiro, F., Ohashi, T., Dellaert, F. (eds.) RoboCup 2007. LNCS (LNAI), vol. 5001, pp. 262–269. Springer, Heidelberg (2008)
Mohammed, A., Furbach, U., Stolzenburg, F.: Multi-robot systems: Modeling, specification, and model checking. In: Papic, V. (ed.) Robot Soccer, ch. 11, pp. 241–265. IN-TECH (2010)
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, ch. 16. The MIT Press (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Llarena, A., Rosenblueth, D.A. (2012). Model Checking Applied to Humanoid Robotic Soccer. In: Herrmann, G., et al. Advances in Autonomous Robotics. TAROS 2012. Lecture Notes in Computer Science(), vol 7429. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32527-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-32527-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32526-7
Online ISBN: 978-3-642-32527-4
eBook Packages: Computer ScienceComputer Science (R0)