Yiting Wu
Orcid: 0000-0002-8517-4100
According to our database1,
Yiting Wu
authored at least 12 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Stationary Almost Markov ε-Equilibria for Discounted Stochastic Games with Borel Spaces and Unbounded Payoffs.
J. Syst. Sci. Complex., August, 2024
IEEE Trans. Geosci. Remote. Sens., 2024
2023
A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2022
DualApp: Tight Over-Approximation for Neural Network Robustness Verification via Under-Approximation.
CoRR, 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
2021
Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Big data analytics for financial Market volatility forecast based on support vector machine.
Int. J. Inf. Manag., 2020
2018
On-diagonal lower estimate of heat kernels for locally finite graphs and its application to the semilinear heat equations.
Comput. Math. Appl., 2018
2017
Efficient branch and bound algorithms for prototype filter optimization in OQAM-OFDM systems.
Int. J. Commun. Syst., 2017
2015
IEEE Trans. Broadcast., 2015