From Offline Towards Real-Time Verification for Robot Systems
Work
Year: 2018
Type: article
Institutions Beijing Advanced Sciences and Innovation Center, Embry–Riddle Aeronautical University, Tsinghua University, Portland State University
Cites: 27
Cited by: 37
Related to: 10
FWCI: 7.513
Citation percentile (by year/subfield): 99.94
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funders National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China, National Natural Science Foundation of China
Grant IDS 61572331, 61472468, 61303014, 61373034