Login / Signup
Wan-Wei Liu
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Timed Automata
Model Checking
Computation Tree Logic
Ordered Binary Decision Diagrams
Top Venues
J. Comput. Sci. Technol.
</>
Publications
</>
Wan-Wei Liu
,
Fu Song
,
Tang-Hao-Ran Zhang
,
Ji Wang
Verifying ReLU Neural Networks from a Model Checking Perspective.
J. Comput. Sci. Technol.
35 (6) (2020)