Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song, Lijun Zhang, Jens Christian Godskesen

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fingeraftryk

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

    Teknik og materialevidenskab