استفاده از يادگيري تقويتي براي بهبود وارسي مدل
/ راضيه بهجتي اردكاني
استفاده از يادگيري تقويتي براي بهبود وارسي مدل
المؤلف
/ راضيه بهجتي اردكانيطبع 1
قائمة
شناسنامه
المدخل الرئيسي
بهجتي اردكاني، راضيه، نویسندهالعنوان واسم المؤلف
استفاده از يادگيري تقويتي براي بهبود وارسي مدل / / راضيه بهجتي اردكانيالمواصفات الشكلية
126ص.؛ : تصوير، جدول، پيوست.الموضوع
درستي¬يابي صوريوارسي مدل سيستم¬هاي نامتناهي
يادگيري ماشين
يادگيري تقويتي
وارسي مدل احتمالي
يادگيري تقويتي (يادگيري ماشيني)
Reinforcement learning (Machine learning)
تصديق برنامه هاي رايانه اي
Verification of computer programs
وارسي مدل
Model checking
طراحي نرم افزار
Software design
ربكا (زبان برنامه نويسي رايانه اي)
(Rebeca (Computer program language
تصديق رسمي
Formal verification
اللغة
فارسی