Skip to main content
SpringerLink
Log in
Book cover

Conference Towards Autonomous Robotic Systems

TAROS 2012: Advances in Autonomous Robotics pp 256–269Cite as

Model Checking Applied to Humanoid Robotic Soccer

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7429))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. The MIT Press (2005)

    Google Scholar 

  2. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems, 2nd edn. Cambridge University Press (2004)

    Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. Clarke, Grumberg, Peled: Model Checking, p. 14. The MIT Press (1999)

    Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. 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)

    Google Scholar 

  10. http://www.cmucam.org/

  11. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, ch. 16. The MIT Press (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Posgrado en Ciencia e Ingeniería de la Computación, Universidad Nacional Autónoma de México, UNAM, Apdo. 20-726, 01000, México, D.F., México

    Adalberto Llarena

  2. Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México, UNAM, Apdo. 20-726, 01000, México, D.F., México

    David A. Rosenblueth

Authors
  1. Adalberto Llarena
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David A. Rosenblueth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mechanical Engineering and Bristol Robotics Laboratory, University of Bristol, Bristol, UK

    Guido Herrmann

  2. Intelligent Autonomous Systems Lab Faculty of Computing, Engineering & Mathematical Sciences, University of the West of England, BS16 1QY, Bristol, U.K.

    Matthew Studley

  3. University of the West of England, BS34 8QZ, Bristol, UK

    Martin Pearson , Andrew Conn  & Chris Melhuish ,  & 

  4. Department of Electrical and Electronic Engineering, Imperial College London, Exhibition Road, SW7 2BT, London, UK

    Mark Witkowski

  5. Robot Intelligence Technology Laboratory, Department of EECS, KAIST, Daejeon, Korea

    Jong-Hwan Kim

  6. National University of Singapore, Singapore

    Prahlad Vadakkepat

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation