Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
geoffrey e hinton
Chen-Yang Cheng
Claudia Calabrese
Yongjin Zhou
Hao Mao
Peter Malec
Peter Reid
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
SHAOPENG XING
Author Info
Open Visualization
Name
Affiliation
Papers
SHAOPENG XING
Nanjing Univ, Dept Comp Sci & Technol, State Key Lab Novel Software Technol, Nanjing, Jiangsu, Peoples R China
5
Collaborators
Citations
PageRank
10
0
1.69
Referers
Referees
References
0
0
0
Publications (5 rows)
Collaborators (10 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS
0
0.34
2022
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization
0
0.34
2021
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed
0
0.34
2021
Scenario-Based Online Reachability Validation for CPS Fault Prediction
0
0.34
2020
Incremental Online Verification Of Dynamic Cyber-Physical Systems
0
0.34
2019
1
