Verifying Robocup Teams. Earle, C. B., Fredlund, L., Iglesias, J. A., & Ledezma, A. In Model Checking and Artificial Intelligence, volume 5348, of LNCS, pages 34-48, 2009. Springer. abstract bibtex Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. 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 the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.
@inproceedings{iglesias08Mochart,
author = {Clara Benac Earle and Lars-Ake Fredlund and Jose Antonio Iglesias and Agapito Ledezma},
title = {Verifying Robocup Teams},
booktitle = {Model Checking and Artificial Intelligence},
year = {2009},
series = {LNCS},
volume = {5348},
publisher = {Springer},
location = {Patras, Greece},
pages = {34-48},
abstract={Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. 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 the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.},
isbn = {978-3-642-00430-8}
}
Downloads: 0
{"_id":{"_str":"534251ae0e946d920a00087a"},"__v":307,"authorIDs":["545732fc2abc8e9f3700018a","54576e722abc8e9f370003c4","54578ea22abc8e9f370004fa","54597770b43425b7720005a9","545dc63a6aaec20d23000621","8mdzoMZ27yguKiBHc"],"author_short":["Earle, C. B.","Fredlund, L.","Iglesias, J. A.","Ledezma, A."],"bibbaseid":"earle-fredlund-iglesias-ledezma-verifyingrobocupteams-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Clara","Benac"],"propositions":[],"lastnames":["Earle"],"suffixes":[]},{"firstnames":["Lars-Ake"],"propositions":[],"lastnames":["Fredlund"],"suffixes":[]},{"firstnames":["Jose","Antonio"],"propositions":[],"lastnames":["Iglesias"],"suffixes":[]},{"firstnames":["Agapito"],"propositions":[],"lastnames":["Ledezma"],"suffixes":[]}],"title":"Verifying Robocup Teams","booktitle":"Model Checking and Artificial Intelligence","year":"2009","series":"LNCS","volume":"5348","publisher":"Springer","location":"Patras, Greece","pages":"34-48","abstract":"Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. 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 the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.","isbn":"978-3-642-00430-8","bibtex":"@inproceedings{iglesias08Mochart,\r\n author = {Clara Benac Earle and Lars-Ake Fredlund and Jose Antonio Iglesias and Agapito Ledezma},\r\n title = {Verifying Robocup Teams},\r\n booktitle = {Model Checking and Artificial Intelligence},\r\n year = {2009},\r\n series = {LNCS},\r\n volume = {5348},\r\n publisher = {Springer}, \r\n location = {Patras, Greece},\r\n pages = {34-48},\r\n abstract={Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. 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 the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.},\r\n isbn = {978-3-642-00430-8}\r\n}\r\n \r\n","author_short":["Earle, C. B.","Fredlund, L.","Iglesias, J. A.","Ledezma, A."],"key":"iglesias08Mochart","id":"iglesias08Mochart","bibbaseid":"earle-fredlund-iglesias-ledezma-verifyingrobocupteams-2009","role":"author","urls":{},"downloads":0,"html":"","metadata":{"authorlinks":{"ledezma, a":"http://www.caos.inf.uc3m.es/ledezma/ca/publicaciones/"}}},"bibtype":"inproceedings","biburl":"http://www.caos.inf.uc3m.es/bibs/pubCAOS.bib","downloads":0,"keywords":[],"search_terms":["verifying","robocup","teams","earle","fredlund","iglesias","ledezma"],"title":"Verifying Robocup Teams","year":2009,"dataSources":["Z4T4fewybNpYCWveD"]}