FITstagram

tmokenc

Model checking

25. 12. 2024 15:04:20 (31.5 kiB)

tmokenc

Linearni programovani

25. 12. 2024 15:03:16 (46.0 kiB)

byl na pulsemce, mozna bude jeste na semestralce

tmokenc

MDP

25. 12. 2024 14:09:43 (56.8 kiB)

Tyto definice jsou vzdy na zkousce

tmokenc

Steady state analyza

25. 12. 2024 14:06:31 (47.5 kiB)

tmokenc

Expected time

25. 12. 2024 14:05:52 (49.1 kiB)

tmokenc

Reachability

25. 12. 2024 14:05:04 (20.4 kiB)

Nejprve musime odstranit vsechny unreachable stavy

tmokenc

Tranzientni analyza

25. 12. 2024 14:03:57 (50.5 kiB)

tmokenc

Markovske retezec

25. 12. 2024 14:02:32 (39.0 kiB)

tmokenc

Podminena pravdepodobnost

25. 12. 2024 14:00:47 (23.6 kiB)

tmokenc

Chino

25. 12. 2024 13:59:47 (30.5 kiB)