Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Browse the full FORTE paper archive.