Zhenya Zhang, Gidon Ernst, Ichiro Hasuo, Sean Sedwards. Time-Staging Enhancement of Hybrid System Falsification. In 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018. pages 3-4, IEEE, 2018. [doi]
Abstract is missing.