Compositionality for Probabilistic Automata

Author(s)
Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits
Thumbnail
DownloadMIT-LCS-TR-907.pdf (3.179Mb)
Metadata
Show full item record
Abstract
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.
URI
https://hdl.handle.net/1721.1/149992
Series/Report no.
MIT-LCS-TR-907
Collections