Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

Xehetasun bibliografikoak
Formatua:	Baliabide elektronikoa Liburua
Hizkuntza:	English
Argitaratua:	Association for Computing Machinery (ACM), 5/18/21
Gaiak:	Conference papers and proceedings.
Sarrera elektronikoa:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Antzeko izenburuak

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification

Proceedings of the 1st International Workshop on Autonomous Infrastructure for Science

Proceedings of the 1st ACM Workshop on Autonomous and Intelligent Mobile Systems

Autonomous Robots

Proceedings of the 1st International Workshop on Software Engineering for AI in Autonomous Systems

Proceedings of the 1st International Workshop on Gamification of Software Development, Verification, and Validation

Distributed Autonomous Robotic Systems
Argitaratua: (2013)

2016 1st IEEE International Verification and Security Workshop (IVSW)

Proceedings of the 1st international conference on Autonomic computing and communication systems

Proceedings of the 1st ACM/IEEE workshop on Autonomic computing in economics

Proceedings of the 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles

Autonomous delivery robot
nork: Zavin, Sarin Rahman, et al.
Argitaratua: (2023)

Proceedings of the 1st International Workshop on Robotics Software Engineering

Autonomous Robot Systems (Robotica), International Conference on

Annual Review of Control, Robotics, and Autonomous Systems

Annual Review of Control, Robotics, and Autonomous Systems

Proceedings of the 1st International Workshop on Internet of People, Assistive Robots and Things

2018 IEEE/ACM 1st International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS)

Engineering of Autonomic and Autonomous Systems (EASE), IEEE Workshop on

Proceedings of the 1st international conference on Robot communication and coordination

Proceedings of the First International Workshop on Multimedia Verification

Proceedings of the 2020 1st International Conference on Control, Robotics and Intelligent System

Vision Based Autonomous Robot Navigation
nork: Chatterjee
Argitaratua: (2013)

An autonomous robot for waiter service in restaurants
nork: Omair, Mohd. Abdullah, et al.
Argitaratua: (2015)

Autonomous Robots and Agents, ICARA, International Conference on

Sensor Fusion and Decentralized Control in Autonomous Robotic Systems

An autonomous robotic system to maintain free flowing drains
nork: Costa, Joy, et al.
Argitaratua: (2016)

Autonomous Robot Systems and Competitions (ICARSC), IEEE International Conference on

2013 13th International Conference on Autonomous Robot Systems

2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC)

2015 IEEE International Conference on Autonomous Robot Systems and Competitions

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems

Autonomic and Autonomous Systems (ICAS), International Conference on

Proceedings of the 1st ACM SIGSPATIAL Workshop on High-Precision Maps and Intelligent Applications for Autonomous Vehicles

Proceedings of the 2021 1st International Conference on Control and Intelligent Robotics

Proceedings of the 1st international workshop on Testing database systems

Proceedings of the 1st International Workshop on Networked AI Systems

Proceedings of the 1st Workshop on Machine Learning and Systems

Proceedings of the 1st workshop on Modularity in systems software