Sign in

Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study.

Joel M. EspositoMoonzoo Kim
Published in: IEEE Trans. Syst. Man Cybern. Part A (2007)
Keyphrases
  • analysis tool
  • multi robot
  • case study
  • formal analysis
  • distributed architecture
  • cooperative
  • formal methods
  • multi agent
  • user interface
  • mobile robot
  • mixture model