Sciweavers

2346 search results - page 12 / 470
» Hierarchical State Machines
Sort
View
JLP
2002
90views more  JLP 2002»
15 years 3 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
15 years 10 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...