Jan Murray
Papers
7
Total Citations
90
H-Index
6
About
Jan Murray’s research lies at the intersection of multiagent systems, formal specification, and robotic soccer, with a particular focus on hybrid systems and timed synchronization. Her work addresses the fundamental challenge of modeling and verifying the behavior of interacting agents in complex, dynamic environments. Murray’s most influential paper, “Approaching a formal soccer theory from behaviour specifications in robotic soccer” (25 citations), pioneers a formal framework for multi-robot coordination, drawing directly from the RoboCup domain. She further advanced the field by introducing hybrid state machines with timed synchronization for multi-robot system specification (13 citations) and developing model-checking techniques for hybrid multiagent systems (8 citations). Her early work on specifying agents with UML statecharts (14 citations) provided a practical, accessible method for agent behavior design. Murray’s contributions are notable for bridging theoretical computer science with real-world robotics, offering rigorous tools for ensuring correct agent interactions. Her research remains a valuable reference for those working on formal methods in multiagent robotics, particularly in competitive and cooperative scenarios.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3Specifying agents with UML in robotic soccer14 citations · 2002
- 4
- 5Multiagent Matching Algorithms with and without Coach10 citations · 2003
- 6Model Checking Hybrid Multiagent Systems for the RoboCup8 citations · 2008
- 7Multiagent Matching Algorithms with and without Coach3 citations · 2006