Login / Signup

WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints.

Nils VremanRichard PatesMartina Maggio
Published in: RTAS (2022)
Keyphrases
  • hard constraints
  • lower bound
  • simulated annealing
  • genetic programming
  • soft constraints