Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song, Lijun Zhang, Jens Christian Godskesen

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Bisimulations Meet PCTL Equivalences for Probabilistic Automata'. Sammen danner de et unikt fingeraftryk.

    Teknik og materialevidenskab