TY - RPRT TI - A Model-Based Active Testing Approach to Sequential Diagnosis AU - Alexander Feldman AU - Gregory Provan AU - Arjan van Gemund PY - 2014 DO - 10.1613/jair.3031 UR - https://arxiv.org/abs/1401.3850 ID - 1401.3850 ER -