Compositionality for Probabilistic Automata
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.contributor.author | Segala, Roberto | en_US |
| dc.contributor.author | Vaandrager, Frits | en_US |
| dc.date.accessioned | 2023-03-29T15:37:31Z | |
| dc.date.available | 2023-03-29T15:37:31Z | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149992 | |
| dc.description.abstract | We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-907 | |
| dc.title | Compositionality for Probabilistic Automata | en_US |
