Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation | IEEE Journals & Magazine | IEEE Xplore
  翻译: