APA (7th ed.) Citation

Takisaka, T., Zhang, Z., Arcaini, P., & Hasuo, I. (2023). A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42, 1718-1731. https://doi.org/10.1109/tcad.2022.3201157

Chicago Style (17th ed.) Citation

Takisaka, Toru, Zhenya Zhang, Paolo Arcaini, and Ichiro Hasuo. "A Robustness-Based Confidence Measure for Hybrid System Falsification." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 42 (2023): 1718-1731. https://doi.org/10.1109/tcad.2022.3201157.

MLA (9th ed.) Citation

Takisaka, Toru, et al. "A Robustness-Based Confidence Measure for Hybrid System Falsification." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 42, 2023, pp. 1718-1731, https://doi.org/10.1109/tcad.2022.3201157.