Login / Signup

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel BaierDirk BeyerPo-Chun ChienMarek JankolaMatthias KettlNian-Ze LeeThomas LembergerMarian Lingsch RosenfeldMartin SpiesslHenrik WachowitzPhilipp Wendler
Published in: TACAS (3) (2024)
Keyphrases
  • selection strategy
  • selection strategies
  • data sets
  • selection algorithm
  • selection criterion
  • computer vision
  • selection criteria
  • selection scheme
  • databases
  • artificial intelligence