Query Processing for Probabilistic State Diagrams Describing Multiple Robot Navigation in an Indoor Environment... Journal January, 2012
