690 followers
Paper details & link: "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems," Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau @pmusau13, Weiming Xiang @xiangweiming, & Taylor T. Johnson @taylorjohnson FORTE'19 https