Return to Article Details Finite-Time Checking of a Myopic Measurement Sequence