Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

Open Webpage

Kurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Xue Liu, Zhishan Guo

Published: 01 Jan 2025, Last Modified: 21 Jun 2025HSCC 2025EveryoneRevisionsBibTeXCC BY-SA 4.0