共 50 条
- [31] Towards Compositional Verification for Modular Robotic Systems [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (329): : 15 - 22
- [32] Towards temporal verification of swarm robotic systems [J]. ROBOTICS AND AUTONOMOUS SYSTEMS, 2012, 60 (11) : 1429 - 1441
- [35] AUTOMATED QUANTUM ENTANGLEMENT AND CRYPTOGRAPHY FOR NETWORKS OF ROBOTIC SYSTEMS [J]. PROCEEDINGS OF ASME 2021 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2021, VOL 7, 2021,
- [36] Towards Automated Nanomanipulation of Nano-Bio-Entities using Real-Time Molecular Force Feedback Information [J]. 2008 INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION, VOLS 1-4, 2008, : 1490 - +
- [37] Multispectral tissue analysis and classification towards enabling automated robotic surgery [J]. ADVANCED BIOMEDICAL AND CLINICAL DIAGNOSTIC AND SURGICAL GUIDANCE SYSTEMS XII, 2014, 8935
- [38] Accurate positioning of AFM probe for AFM based robotic nanomanipulation system [J]. 2006 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-12, 2006, : 1910 - 1914
- [39] A pilot study on nano forces in AFM-based robotic nanomanipulation [J]. Jiqiren/Robot, 2007, 29 (04): : 363 - 367
- [40] Intelligent transport systems towards automated vehicles [J]. ITU News, 2019, 2019 (04): : 29 - 32