HyperCertificates combine closure certificates for lookahead with barrier and ranking functions to verify discrete-time systems against HyperLTL specifications.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Safety certification of dynamical systems is reformulated as direct classification via kernel embeddings on trajectories, bypassing recursive DP to avoid error compounding and support non-Markovian dynamics.
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.
-
Safety Certification is Classification
Safety certification of dynamical systems is reformulated as direct classification via kernel embeddings on trajectories, bypassing recursive DP to avoid error compounding and support non-Markovian dynamics.