Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach | IEEE Conference Publication | IEEE Xplore