Projekter pr. år
Abstract
We introduce a version of the probabilistic µ-calculus (PMC) built on top of a probabilistic modal logic that allows encoding n-ary inequational conditions on transition probabilities. PMC extends previously studied calculi and we prove that, despite its expressiveness, it enjoys a series of good metaproperties. Firstly, we prove the decidability of satisfiability checking by establishing the small model property. An algorithm for deciding the satisfiability problem is developed. As a second major result, we provide a complete axiomatization for the alternation-free fragment of PMC. The completeness proof is innovative in many aspects combining various techniques from topology and model theory.
Originalsprog | Engelsk |
---|---|
Titel | 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2016, December 13-15, 2016, Chennai, India |
Antal sider | 18 |
Forlag | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Publikationsdato | 2016 |
Sider | 25:1-25:18 |
ISBN (Trykt) | 978-3-95977-027-9 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - Chennai Mathematical Institute, Chennai, Indien Varighed: 13 dec. 2016 → 15 dec. 2016 Konferencens nummer: 36th http://www.fsttcs.org/ |
Konference
Konference | 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science |
---|---|
Nummer | 36th |
Lokation | Chennai Mathematical Institute |
Land/Område | Indien |
By | Chennai |
Periode | 13/12/2016 → 15/12/2016 |
Internetadresse |
Navn | Leibniz International Proceedings in Informatics |
---|---|
Vol/bind | 65 |
ISSN | 1868-8969 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Probabilistic Mu-Calculus: Decidability and Complete Axiomatization'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Afsluttet
-
Approximate Reasoning for Stochastic Markovian Systems
Mardare, R. & Larsen, K. G.
01/11/2015 → 31/10/2019
Projekter: Projekt › Forskning