好胜于好:关于无限状态系统的有效验证| IEEE会议出版物| IEEE Xplore