![](/img/cover-not-exists.png)
Hybrid System Falsification under (In)equality Constraints via Search Space Transformation
Zhang, Zhenya, Arcaini, Paolo, Hasuo, IchiroYear:
2020
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/tcad.2020.3013073
File:
PDF, 2.11 MB
2020