• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints.

Yi-Ting HsiehTzu-Tao ChangChen-Jun TsaiShih-Lun WuChing-Yuan BaiKai-Chieh ChangChung-Wei LinEunsuk KangChao HuangQi Zhu
Published in: ACM Trans. Cyber Phys. Syst. (2023)
Keyphrases
  • hard constraints
  • soft constraints
  • graph cuts
  • neural network
  • cost function
  • constraint satisfaction problems
  • image processing
  • higher order
  • linear programming
  • correlation clustering
  • multi objective evolutionary