Compositionality for Probabilistic Automata
Name
MIT-LCS-TR-907.pdf
Size
3.18 MB
Format
Adobe PDF
Checksum (MD5)
1242cfdff45167501d5bdbda97f1ec76
Author(s) • •
Lynch, Nancy A.
Segala, Roberto
Vaandrager, Frits
Series/Report no.
MIT-LCS-TR-907
Abstract
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.
Persistent DSpace Link