State-dependent conformal prediction with genetic-algorithm state partitioning and branch-merging reachability produces tighter high-confidence perception-error bounds for scalable verification of neurally controlled autonomous systems.
Title resolution pending
2 Pith papers cite this work, alongside 2 external citations. Polarity classification is still indexing.
2
Pith papers citing it
2
external citations · external index
citation-role summary
background 1
citation-polarity summary
verdicts
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
-
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
State-dependent conformal prediction with genetic-algorithm state partitioning and branch-merging reachability produces tighter high-confidence perception-error bounds for scalable verification of neurally controlled autonomous systems.
-
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.