ХВАТИТ УБЕГАТЬ! ЧТО ДАЛЬШЕ?ХВАТИТ УБЕГАТЬ! ЧТО ДАЛЬШЕ? PlummixxemХВАТИТ УБЕГАТЬ! ЧТО ДАЛЬШЕ?ХВАТИТ УБЕГАТЬ! ЧТО ДАЛЬШЕ?ХВАТИТ УБЕГАТЬ! ЧТО ДАЛЬШЕ?Представьте следующий текст интересной статьи из электронного письма в моём почтовом ящике, что не в прямом смысле, а электронный: "Мы ответственно и смело представляем логику для формулировки таких свойств, как "после запроса на обслуживание есть вероятность не менее 98%, что обслуживание будет выполнено в течение 2 секунд". Логика расширяет темпоральную логику CTL Эмерсона, Кларка и Систлы со временем и вероятностями. Формулы интерпретируются над цепями Маркова с дискретным временем. Приводятся алгоритмы проверки того, что заданная цепь Маркова удовлетворяет формуле логики. Алгоритмы требуют полиномиального числа арифметических…
читать отзыв