Return to Issue Details Finite-Time Checking of a Myopic Measurement Sequence Download Download PDF