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