Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Andrieu, F.
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Benjamin Hoover
Hyungtae Lim
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
MAJID ZAMANI
Author Info
Open Visualization
Name
Affiliation
Papers
MAJID ZAMANI
University of Colorado Boulder
4
Collaborators
Citations
PageRank
11
1
1.36
Referers
Referees
References
5
0
0
Publications (4 rows)
Collaborators (11 rows)
Referers (5 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Formal verification of hyperproperties for control systems
0
0.34
2021
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems
1
0.35
2021
Compositional Verification of Initial-State Opacity for Switched Systems.
0
0.34
2020
Construction of continuous abstractions for discrete-time time-delay systems.
0
0.34
2020
1
