Login / Signup

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

Shih-Lun WuChing-Yuan BaiKai-Chieh ChangYi-Ting HsiehChao HuangChung-Wei LinEunsuk KangQi Zhu
Published in: RV (2020)
Keyphrases
  • hard constraints
  • soft constraints
  • cost function
  • neural network
  • constraint satisfaction problems
  • constraint satisfaction
  • simulated annealing
  • optimization problems
  • computationally efficient