تقرير
Hennessy-Milner Results for Probabilistic PDL
العنوان: | Hennessy-Milner Results for Probabilistic PDL |
---|---|
المؤلفون: | Gu, T, Silva, A, Zanasi, F |
المصدر: | In: Electronic Notes in Theoretical Computer Science. (pp. pp. 283-304). Elsevier: Duivendrecht, Netherlands. (2020) |
بيانات النشر: | Elsevier 36th Conference on the Mathematical Foundations of Programming Languages Semantics (MFPS) was co-located with the 17th International Conference on Quantum Programming Physics and Logic (QPL) |
سنة النشر: | 2020 |
المجموعة: | University College London: UCL Discovery |
مصطلحات موضوعية: | Probabilistic Propositional Dynamic Logic, Probabilistic bisimulation, Hennessy-Milner property, BISIMULATION |
الوصف: | Kozen introduced probabilistic propositional dynamic logic (PPDL) in 1985 as a compositional framework to reason about probabilistic programs. In this paper we study expressiveness for PPDL and provide a series of results analogues to the classical HennessyMilner theorem for modal logic. First, we show that PPDL charaterises probabilistic trace equivalence of probabilistic automata (with outputs). Second, we show that PPDL can be mildly extended to yield a characterisation of probabilistic state bisimulation for PPDL models. Third, we provide a different extension of PPDL, this time characterising probabilistic event bisimulation. |
نوع الوثيقة: | report |
وصف الملف: | text |
اللغة: | Albanian |
العلاقة: | https://discovery.ucl.ac.uk/id/eprint/10117222/7/Zanasi_1-s2.0-S1571066120300694-main.pdfTest; https://discovery.ucl.ac.uk/id/eprint/10117222Test/ |
الإتاحة: | https://discovery.ucl.ac.uk/id/eprint/10117222/7/Zanasi_1-s2.0-S1571066120300694-main.pdfTest https://discovery.ucl.ac.uk/id/eprint/10117222Test/ |
حقوق: | open |
رقم الانضمام: | edsbas.EA8AA2C7 |
قاعدة البيانات: | BASE |
الوصف غير متاح. |