2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Zhao Jin, Lu Jin, Yizhe Luo +5
Despite significant progress in AI and decision-making technologies in safety-critical fields, challenges remain in verifying the correctness of decision output schemes and verific…