Presents a method to dynamically adapt probabilistic models for autonomous systems outside their ODD with formal verification and guarantees on improved reliability.
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
FormIDEAble models human-agent cooperation as a Priced Timed Markov Decision Process and solves cost-bounded reachability to produce socially-aware strategies with safety guarantees, shown in an evacuation example.
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.
-
FormIDEAble: Safe and Socially-aware Autonomous Systems
FormIDEAble models human-agent cooperation as a Priced Timed Markov Decision Process and solves cost-bounded reachability to produce socially-aware strategies with safety guarantees, shown in an evacuation example.