Login / Signup
Pengzhan Nie
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Fuzzy Logic
Formal Specification
Binary Decision Diagrams
Fuzzy Rules
Top Venues
DASC/PiCom/CBDCom/CyberSciTech
</>
Publications
</>
Pengzhan Nie
,
Jiulei Jiang
,
Zhanyou Ma
CTL Symbolic Model Checking Based on Fuzzy Logic.
DASC/PiCom/CBDCom/CyberSciTech
(2020)