Provably-Safe, Online System Identification. - Bohao Zhang; Zichang Zhou; Ram Vasudevan (CoRR, 2025)