Model Checking Hybrid Multiagent Systems for the RoboCup-Reference-Cited by-同舟云学术

Model Checking Hybrid Multiagent Systems for the RoboCup

Published:2008 Issue: Volume: Page:262-269
ISSN:0302-9743
Container-title:RoboCup 2007: Robot Soccer World Cup XI
language:
Short-container-title:

Author:

Furbach Ulrich,Murray Jan,Schmidsberger Falk,Stolzenburg Frieder

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68847-1_24

Reference11 articles.

1. Lecture Notes in Artificial Intelligence;J. Murray,2004

2. Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science, pp. 278–292. IEEE Computer Society Press (1996)

3. Tadokoro, S., et al.: The RoboCup-Rescue project: A robotic approach to the disaster mitigation problem. In: Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2000), pp. 4089–4104 (2000)

4. Murray, J., Stolzenburg, F.: Hybrid state machines with timed synchronization for multi-robot system specification. In: Bento, C., et al. (eds.) Proceedings of 12th Portuguese Conference on Artificial Intelligence, pp. 236–241. IEEE Inc. (2005)

5. Object Management Group, Inc.: UML Specification, Version 1.5 (March 2003)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automatic code generation of SIMUROSOT game strategies;ACM SIGSOFT Software Engineering Notes;2013-03-23

2. Model Checking Applied to Humanoid Robotic Soccer;Advances in Autonomous Robotics;2012

3. Verifying Robocup Teams;Model Checking and Artificial Intelligence;2009

4. Debugging and Verification of Multi-Agent Systems;Computer Aided Systems Theory - EUROCAST 2009;2009