Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. - Vinayak S. Prabhu; Meetkumar Savaliya (MEMOCODE, 2022)