Accelerating of Modified Policy Iteration in Probabilistic Model Checking

  • سال انتشار: 1394
  • محل انتشار: کنفرانس بین المللی یافته های نوین پژوهشی در علوم،مهندسی و فناوری با محوریت پژوھشھای نیاز محور
  • کد COI اختصاصی: ICMRS01_370
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 699
دانلود فایل این مقاله

نویسندگان

Mohammadsadegh Mohagheghi

Departement of Computer Science, Vali-e-asr Rafsanjan University

چکیده

Markov Decision Processes (MDPs) are used to model both non-deterministic and probabilistic systems. Probabilistic model checking is an approach for verifying quantitative properties of probabilistic systems that are modeled by MDPs. Value and Policy Iteration and modified version of them are well-known approaches for computing a wide range of probabilistic properties. This paper tries to improve the performance of modified policy iteration. Our approach is to use some information of the related model for approximating a good value for the number of iterations for each policy and improving this approximation in next modifications of policies.

کلیدواژه ها

Software Verification, Formal methods, Model checking, Probabilistic Systems

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.