Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots | IEEE Conference Publication | IEEE Xplore