Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuhang Zheng
conf.researchr.org general profile
ASE 2023 profile
Registered user since Tue 11 Jul 2023
Name:
Yuhang Zheng
Affiliation:
Sun Yat-Sen University
Contributions
2023
ASE
Author of SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning within the NIER Track-track
Author of PURLTL: Mining LTL Specification from Imperfect Traces in Testing within the NIER Track-track
Share
x
Sat 23 Nov 10:50