Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.

Ivan RuchkinMatthew CleavelandOleg SokolskyInsup Lee
Published in: Formal Methods in Outer Space (2021)