FITstagram

tmokenc

Las Vegas vs Monte Carlo

26. 12. 2024 20:01:40 (54.9 kiB)

tmokenc

Priklad iterativniho modelcheckingu

25. 12. 2024 15:05:56 (18.6 kiB)

tmokenc

Iterativni model checking

25. 12. 2024 15:05:26 (15.2 kiB)

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)