Publication Type
Journal
Journal Name
International Journal of Digital and Wireless Communications
Publication Date
Volume
1
Issue
2
Abstract
This paper describes the syntax and semantics of multi-level state diagrams to support probabilistic behavior of cooperating robots. The techniques are presented to analyze these diagrams by querying combined robots behaviors. It is shown how to use state abstraction and transition abstraction to create, verify and process large probabilistic state diagrams.