MITL-Verifikation unter zeitlicher Unsicherheit