共 10 条
[1]
Bostrum Nick., 2014, SUPERINTELLIGENCE PA
[2]
Brynjolfsson E., 2014, The Second Machine Age: Work, Progress, and Prosperity in a Time of Brilliant Technologies, DOI DOI 10.1080/15228053.2014.943094
[3]
Chen Feng., 2003, RUNTIME VERIFICATION, V89, P108, DOI DOI 10.1016/S1571-0661
[4]
Good Irving John, 1966, Advances in Computers, P31
[5]
HORVITZ E, 1999, P CHI 99 ACM SIGCHI
[6]
ROSRV: Runtime verification for robots
[J].
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
2014, 8734
:247-254
[7]
Kamar E., 2012, AAMAS 2012 VAL SPAIN
[9]
Shahaf D., 2010, AAAI 2010 ATL GA JUL, P986
[10]
You Jia, 2015, SCIENCE