01080nam 2200325 450 991051045060332120230819094706.0(CKB)4930000000238352(NjHacI)994930000000238352(EXLCZ)99493000000023835220230819d2021 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems /Sergiy BogomolovNew York, New York :Association for Computing Machinery,2021.1 online resource (26 pages)1-4503-8444-7 Electronic data processingElectronic data processing.004Bogomolov Sergiy1384493NjHacINjHaclBOOK9910510450603321Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems3430809UNINA