Hai Wan - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Registered user since Tue 12 Jan 2021

Name:Hai Wan

Country:China

Affiliation:Sun Yat-sen University

Contributions

2024

ISSTA

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile