R. Robinson
发表
R. Robinson,
D. McNab,
A. McNab,
2006,
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
Marco Bozzano,
Alessandro Cimatti,
D. Jones,
2015,
CAV.