FITstagram

tmokenc

Vanilla x Chocolate

26. 12. 2024 21:32:09 (1.7 MiB)

tmokenc

Las Vegas vs Monte Carlo

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

tmokenc

Hoshino

25. 12. 2024 15:08:35 (32.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)