Equivalence of Probabilistic \mu -Calculus and p-Automata

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Cauli2017EquivalenceOP, title={Equivalence of Probabilistic \mu -Calculus and p-Automata}, author={Claudia Cauli and Nir Piterman}, booktitle={CIAA}, year={2017} }