Glad for å dele en ny avis! Å designe modellatferd er vanskelig - ønskelige verdier trekker ofte i motsatte retninger. Jifans tilnærming genererer systematisk scenarier der verdier er i konflikt, noe som hjelper oss å se hvor spesifikasjoner mangler dekning og hvordan ulike modeller balanserer avveininger.