Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems

Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia. Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 42(11):3679-3692, November 2023. [doi]

Abstract

Abstract is missing.