Characterization of Environment Conditions with Metric Temporal Feature Logic | IEEE Conference Publication | IEEE Xplore