Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma 0003, Ichiro Hasuo, Jianjun Zhao. On the Effectiveness of Signal Rescaling in Hybrid System Falsification. In Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez 0003, editors, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Volume 12673 of Lecture Notes in Computer Science, pages 392-399, Springer, 2021. [doi]
Abstract is missing.