کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950612 | 1364294 | 2017 | 35 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Quantitative model-checking of controlled discrete-time Markov processes
ترجمه فارسی عنوان
مدل سازی کمی از فرآیندهای کنترل گسسته زمان مارکوف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper focuses on optimizing probabilities of events of interest defined over general controlled discrete-time Markov processes. It is shown that the optimization over a wide class of Ï-regular properties can be reduced to the solution of one of two fundamental problems: reachability and repeated reachability. We provide a comprehensive study of the former problem and an initial characterization of the (much more involved) latter problem. A case study elucidates concepts and techniques.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 253, Part 1, April 2017, Pages 1-35
Journal: Information and Computation - Volume 253, Part 1, April 2017, Pages 1-35
نویسندگان
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate,