Time complexity and input design in worst-case identification using binary sensors | IEEE Conference Publication | IEEE Xplore