Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring.

Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu

Browse the full RV paper archive.