Up a level |
Number of items: 1.
Hsieh, Yi-Ting, Chang, Tzu-Tao, Tsai, Chen-Jun, Wu, Shih-Lun, Bai, Ching-Yuan, Chang, Kai-Chieh, Lin, Chung-Wei, Kang, Eunsuk, Huang, Chao ORCID: 0000-0002-9300-1787 and Zhu, Qi
(2023)
System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 7 (3).
pp. 1-28.