Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL | IEEE Conference Publication | IEEE Xplore