![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01-intro.pdf | 2024-02-05 12:18 | 163K | |
| 02-Petriho-site-uvod..> | 2022-02-15 15:22 | 320K | |
| 03-Petriho-site-pokr..> | 2022-03-01 21:49 | 2.5M | |
| 04-PS-jazyky-rozsire..> | 2021-03-01 22:49 | 458K | |
| 07-bisimulace-a-TA.pdf | 2022-03-22 14:26 | 237K | |
| 08-Advanced-DTMC.pdf | 2025-04-01 09:17 | 5.5M | |
| 09-CTMC.pdf | 2025-04-07 17:17 | 1.7M | |
| 10-POMDP.pdf | 2025-04-14 16:28 | 884K | |
| MBSE-2024.pdf | 2024-04-30 20:12 | 2.8M | |
| POMDP-2024.pdf | 2024-04-08 10:23 | 884K | |
| TA-1.pdf | 2022-03-08 16:36 | 265K | |
| TA-2.pdf | 2023-03-16 10:00 | 172K | |
| short-demo-CTMC.zip | 2021-04-14 21:31 | 2.8K | |
| short-demo-DTMC.zip | 2021-04-14 21:31 | 77K | |
| short-demo-MDP.zip | 2021-04-14 21:31 | 2.6K | |
| short-prism-demo.zip | 2023-04-14 15:37 | 193K | |