A call for the perfect marriage between classical performance evaluation and state-of-the-art verification techniques.
No takes yet. Share an insight, caveat, or question.
Baier et al. (2010) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: