Key points are not available for this paper at this time.
الملخص نقدم منطقاً لذكر خصائص مثل، "بعد طلب الخدمة، هناك احتمال لا يقل عن 98% أن الخدمة ستنفذ خلال ثانيتين". يُوسع هذا المنطق منطق الزمن CTL ليميرسون، كلارك وسيستلا مع الزمن والاحتمالات. تُفسر الصيغ على سلاسل ماركوف الزمنية المنفصلة. نقدم خوارزميات للتحقق من أن سلسلة ماركوف معينة تحقق صيغة في المنطق. تتطلب الخوارزميات عددًا مت polynomial من العمليات الحسابية، حسب حجم كلٍ من الصيغة وسلسلة ماركوف. تم تضمين مثال بسيط لتوضيح الخوارزميات.
دراسة هانسون وآخرون (الخميس) سعت في هذا السؤال.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: