Login / Signup

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