Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Vandersteen, C.
Claudia Calabrese
Seong Bae Eun
Hao Mao
Peter Malec
Jiale Dou
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ENYI TANG
Author Info
Open Visualization
Name
Affiliation
Papers
ENYI TANG
State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China
5
Collaborators
Citations
PageRank
20
0
1.69
Referers
Referees
References
0
42
13
Publications (5 rows)
Collaborators (20 rows)
Referers (0 rows)
Referees (42 rows)
Title
Citations
PageRank
Year
Verifying Neural Network Controlled Systems Using Neural Networks
0
0.34
2022
Graph Neural Network based Two-Phase Fault Localization Approach
0
0.34
2022
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations
0
0.34
2021
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems
0
0.34
2021
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC
0
0.34
2020
1
