Presents a method to dynamically adapt probabilistic models for autonomous systems outside their ODD with formal verification and guarantees on improved reliability.
InProceedings of the 2015 10th joint meeting on foundations of software engineering
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
Presents a method to dynamically adapt probabilistic models for autonomous systems outside their ODD with formal verification and guarantees on improved reliability.