Filters








885 Hits in 1.9 sec

Verifying Robocup Teams [chapter]

Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
2009 Lecture Notes in Computer Science  
In the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing.  ...  An example of such a system is the RoboCup Soccer Simulator, where two teams of eleven independent agents play a game of football against each other.  ...  In this paper we propose an alternative approach to the verification of properties in multi-agent systems by means of testing, in particular we use a model checker to simulate RoboCup teams and verify  ... 
doi:10.1007/978-3-642-00431-5_3 fatcat:m3j3ahkdijch7pwgdy6qy2ly3a

On Progress in RoboCup: The Simulation League Showcase [chapter]

Thomas Gabel, Martin Riedmiller
2011 Lecture Notes in Computer Science  
The annual RoboCup competitions are certainly relevant to present times as they elect the best team of the current year.  ...  for the progress made by the RoboCup initiative in general.  ...  Fan for their help in retrieving and refloating old team binaries.  ... 
doi:10.1007/978-3-642-20217-9_4 fatcat:5qtlpdzaanhc3h57qzqxootonq

"Infographics" team: Selecting Control Parameters via Maximal Fisher Information [article]

Siddharth Pritam
2014 arXiv   pre-print
Team description paper for RoboCup 2014 Soccer Simulation League 2D.  ...  Introduction "Infographics" is a very new RoboCup Soccer Simulation League 2D team, based on the released source code of agent2d [1] and Gliders [2, 3] .  ...  The mechanism is utilized by "Infographics", our new simulated soccer team which intends to participate in the RoboCup Simulation 2D League in 2014.  ... 
arXiv:1406.4943v1 fatcat:4uhfopjxa5a7fn4h2e2sudpbry

Educational features of robot contests: the RoboCup-98 survey

Igor M. Verner, Shlomo Waks
2000 Advanced Robotics  
The RoboCup educational survey method is considered.  ...  Characteristic data on the team members, their activities and motivation to participate in the program, as indicated by the questionnaire results, are discussed.  ...  The Maintz team case showed that parrticipation of science students in RoboCup is possible and bene tial. RoboCup Jr.  ... 
doi:10.1163/156855300741447 fatcat:3x5shhokgjdhbhukaq5a6ib5mi

Simulation Leagues: Analysis of Competition Formats [chapter]

David Budden, Peter Wang, Oliver Obst, Mikhail Prokopenko
2015 Lecture Notes in Computer Science  
In this paper, the automated parallelism offered by the RoboCupSoccer 2D simulation league is leveraged to conduct a 28,000 game round-robin between the top 8 teams from RoboCup 2012 and 2013.  ...  RoboCup 2012 and 2013 respectively.  ...  A new competition format is then proposed and verified by leveraging the automated parallelism facilitated by the 2D simulation league platform.  ... 
doi:10.1007/978-3-319-18615-3_15 fatcat:e7w65jx4wfckrne3igduadorya

Simulation leagues: Analysis of competition formats [article]

David Budden, Peter Wang, Oliver Obst, Mikhail Prokopenko
2014 arXiv   pre-print
In this paper, the automated parallelism offered by the RoboCupSoccer 2D simulation league is leveraged to conduct a 28,000 game round-robin between the top 8 teams from RoboCup 2012 and 2013.  ...  RoboCup 2012 and 2013 respectively.  ...  A new competition format is then proposed and verified by leveraging the automated parallelism facilitated by the 2D simulation league platform.  ... 
arXiv:1403.4023v2 fatcat:igx5q7tqfzhrfojp4vzzf7es7m

Simulation leagues: Enabling replicable and robust investigation of complex robotic systems [article]

David M Budden, Peter Wang, Oliver Obst, Mikhail Prokopenko
2014 arXiv   pre-print
Our results demonstrate that a previously-proposed hybrid format minimises fluctuations from 'true' (statistically-significant) team performance rankings within the time constraints of the RoboCup world  ...  In this study, we provide an overview of the RoboCup simulation leagues and describe their properties as they pertain to replicable and robust robotics research.  ...  The full set of experiments is described in [19] , which verified that the proposed format (later adopted for RoboCup 2014) consistently outperformed the other candidates in terms of approximating the  ... 
arXiv:1412.5711v1 fatcat:4jz362yovfdqbmetyyfrd3y3vq

Design of Robocup-Rescue Viewers — Towards a Real World Emergency System — [chapter]

Yoshitaka Kuwata, Atsushi Shinjoh
2001 Lecture Notes in Computer Science  
In this paper the design and implementation of a prototype viewer system for the RoboCup-Rescue framework (Version 0) is described.  ...  The designers of agent programs use viewers to verify their strategies. Researchers of disaster try their simulators with other simulators in order to check the complex results.  ...  teams by the year 2050.  ... 
doi:10.1007/3-540-45324-5_14 fatcat:cmbw6mke3nh3lkdmauwuhipxti

RoboCup Rescue Robot and Simulation Leagues

H. Levent Akin, Nobuhiro Ito, Adam Jacoff, Alexander Kleiner, Johannes Pellenz, Arnoud Visser
2012 The AI Magazine  
The RoboCup Rescue Robot and Simulation competitions have been held since 2000.  ...  In 2012, approximately 100 teams competed in the regional opens; 11 teams from seven nations qualified for the world championship in RoboCup 2012 held in Mexico City.  ...  Figure 2 . 2 Map Generated by an Autonomous Robot of Team Hector from TU Darmstadt (RoboCup RRL Final 2012).  ... 
doi:10.1609/aimag.v34i1.2458 fatcat:nzzc72lnofhzdllldfldlnl2ry

RoboCup-2003: New Scientific and Technical Advances

Enrico Pagello, Emanuele Menegatti, Ansgar Bredenfeld, Paulo Costa, Thomas Christaller, Adam Jacoff, Daniel Polani, Martin A. Riedmiller, Alessandro Saffiotti, Elizabeth Sklar, Takashi Tomoichi
2004 The AI Magazine  
This article reports on the RoboCup-2003 event.  ...  In this article, in addition to reporting on the results of the games, we highlight the robotics and AI technologies exploited by the teams in the different leagues and describe the most meaningful scientific  ...  These are meant as test beds for major planned changes to push the teams to prepare for these changes and verify if the league is ready for them.  ... 
doi:10.1609/aimag.v25i2.1762 dblp:journals/aim/PagelloMBCCJPRSST04 fatcat:cptqliviezdhhlyzzofa75taci

Building User Models for RoboCup-Rescue Visualization [chapter]

Yoshitaka Kuwata, Atsushi Shinjoh
2002 Lecture Notes in Computer Science  
We implemented the mechanism with five user models in RoboCup-Rescue 2D Viewer.  ...  Information visualization is one of the most important fields in RoboCup-Rescue research.  ...  RoboCup-Rescue Demonstration In competitions, the audience of RoboCup-Rescue wants to observe all of interesting events in simulations such as activities of rescue team agents.  ... 
doi:10.1007/3-540-45603-1_53 fatcat:dn6exptc2nh3bpr5iwubroywri

Design and Implementation of a General Decision-Making Model in RoboCup Simulation

Changda Wang, Xianyi Chen, Xibin Zhao, Shiguang Ju
2004 International Journal of Advanced Robotic Systems  
, etc.) in soccer games as most RoboCup simulation teams did.  ...  simulation team of Jiangsu University, whose decisionmaking model, compared with that of Tsinghua University, the world champion team in 2001, is a universal model and easier to be implemented.  ...  Tsinghua University's RoboCup Simulation Team Tsinghua University's RoboCup simulation team is the world champion in 2001.  ... 
doi:10.5772/5811 fatcat:ilh3s5kjdbc5xakfwwkqm63bw4

Artificial Intelligence in RoboCup [chapter]

Daniele Nardi, Luca Iocchi
2006 Lecture Notes in Computer Science  
The aim of the paper is provide an AI research perspective on RoboCup, based on the experience gained as the team leader of ART, the Italian Robot team which partecipated in RoboCup-98 and 99 Middle-size  ...  For this purpose, RoboCup chose to use soccer game, and organize RoboCup: The Robot World Cup Soccer Games and Conferences."  ...  I also thank Massimiliano Salerno for his help in collecting the RoboCup related references.  ... 
doi:10.1007/11829263_11 fatcat:627llvtu2bfuxbymug2xglypza

A robust omnidirectional vision sensor for soccer robots

Huimin Lu, Shaowu Yang, Hui Zhang, Zhiqiang Zheng
2011 Mechatronics (Oxford)  
The relationship between image entropy and camera parameters is verified by experiments, and camera parameters are optimized by maximizing image entropy to adapt the output of the omnidirectional vision  ...  In this paper, we present a robust omnidirectional vision sensor to deal with these issues for the RoboCup Middle Size League soccer robots, in which two novel algorithms are applied.  ...  The final goal of RoboCup is that the robot soccer team defeats human championship team, so robots will have to play competitions under highly dynamic even outdoor lighting conditions, and without the  ... 
doi:10.1016/j.mechatronics.2010.06.007 fatcat:xoyayjcuergffinbm4c4p5gt4a

A Proposal of Bridging Activities between RoboCupJunior and Senior Leagues [chapter]

Yasunori Nagasaka, Tatsumasa Kitahara, Tomoichi Takahashi
2009 Lecture Notes in Computer Science  
When the RCJSS teams require technical assistance or advice, if they are friendly with the members of any SSL team, they can freely seek assistance.  ...  RCJSS teams can develop their robot systems rapidly by utilizing these kits for transition.  ...  Thus, we verified that the gradation of the RCJ soccer field does not affect the SSL vision system.  ... 
doi:10.1007/978-3-642-02921-9_16 fatcat:63dzidb3nnhezcsu6pnstt3u3m
« Previous Showing results 1 — 15 out of 885 results