Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Ronald D. Fricker
Dan Graur
Mengmeng Zhang
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
K. C. Tan
Home
/
Paper
/
Non-linear Continuous Systems for Safety Verification.
Paper Info
Open Visualization
Title
Non-linear Continuous Systems for Safety Verification.
Year
Venue
DocType
2016
ARCH@CPSWeek
Conference
Citations
PageRank
References
0
0.34
0
Authors
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Andrew Sogokon
1
19
6.16
Khalil Ghorbal
2
42
5.34
Taylor T. Johnson
3
214
31.54
1