Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Reports (1974 - 2003)
  5. Compositionality for Probabilistic Automata

Compositionality for Probabilistic Automata

Thumbnail Image
Download
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
https://hdl.handle.net/1721.1/149992
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.