Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements | IEEE Conference Publication | IEEE Xplore