استفاده از يادگيري تقويتي براي بهبود وارسي مدل
/ راضيه بهجتي اردكاني
استفاده از يادگيري تقويتي براي بهبود وارسي مدل
Author
/ راضيه بهجتي اردكانيEdition 1
list
شناسنامه
Main Entry
بهجتي اردكاني، راضيه، نویسندهTitle and Author
استفاده از يادگيري تقويتي براي بهبود وارسي مدل / / راضيه بهجتي اردكانيPhysical Description
126ص.؛ : تصوير، جدول، پيوست.Subject
درستي¬يابي صوريوارسي مدل سيستم¬هاي نامتناهي
يادگيري ماشين
يادگيري تقويتي
وارسي مدل احتمالي
يادگيري تقويتي (يادگيري ماشيني)
Reinforcement learning (Machine learning)
تصديق برنامه هاي رايانه اي
Verification of computer programs
وارسي مدل
Model checking
طراحي نرم افزار
Software design
ربكا (زبان برنامه نويسي رايانه اي)
(Rebeca (Computer program language
تصديق رسمي
Formal verification
Language
فارسی