Compositionality for Probabilistic Automata
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149992 |
| _version_ | 1826211319622139904 |
|---|---|
| author | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits |
| author_facet | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits |
| author_sort | Lynch, Nancy A. |
| collection | MIT |
| description | We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder. |
| first_indexed | 2024-09-23T15:04:03Z |
| id | mit-1721.1/149992 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:04:03Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1499922023-03-30T03:18:33Z Compositionality for Probabilistic Automata Lynch, Nancy A. Segala, Roberto Vaandrager, Frits We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder. 2023-03-29T15:37:31Z 2023-03-29T15:37:31Z https://hdl.handle.net/1721.1/149992 MIT-LCS-TR-907 application/pdf |
| spellingShingle | Lynch, Nancy A. Segala, Roberto Vaandrager, Frits Compositionality for Probabilistic Automata |
| title | Compositionality for Probabilistic Automata |
| title_full | Compositionality for Probabilistic Automata |
| title_fullStr | Compositionality for Probabilistic Automata |
| title_full_unstemmed | Compositionality for Probabilistic Automata |
| title_short | Compositionality for Probabilistic Automata |
| title_sort | compositionality for probabilistic automata |
| url | https://hdl.handle.net/1721.1/149992 |
| work_keys_str_mv | AT lynchnancya compositionalityforprobabilisticautomata AT segalaroberto compositionalityforprobabilisticautomata AT vaandragerfrits compositionalityforprobabilisticautomata |