Budgeted Verification for Episodic Tool Guards under Incomplete Evidence

زبان مقاله : انگلیسی
محور مقاله : مهندسی کامپیوتر
محل انتشار : چهارمین کنفرانس بین المللی پیشرفت های اخیر در مهندسی، نوآوری و تکنولوژی - بلژیک
آدرس وب سایت کنفرانس : eitconf.com
ارسال کننده : حمید مجرد
کد IOI مقاله : ABEB-ACAAEZ
لینک مستقیم مقاله : https://isnac.ir/ABEB-ACAAEZ
نمایش چکیده فارسی : https://isnac.ir/SA/ABEB-ACAAEZ