HyperCertificates combine closure certificates for lookahead with barrier and ranking functions to verify discrete-time systems against HyperLTL specifications.
arXiv preprint arXiv:2311.07695 , year=
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.
citing papers explorer
-
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
HyperCertificates combine closure certificates for lookahead with barrier and ranking functions to verify discrete-time systems against HyperLTL specifications.
-
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.