@misc{indiciae2bfd7392f633, title = {Confidence Composition for Monitors of Verification Assumptions}, author = {Ivan Ruchkin and Matthew Cleaveland and Radoslav Ivanov and Pengyuan Lu and Taylor Carpenter and Oleg Sokolsky and Insup Lee}, year = {2022}, url = {https://arxiv.org/abs/2111.03782}, note = {Source identifier: 2111.03782} }