Talen en automaten/2011-12/producten/PCTL
Uit Werkplaats
< Talen en automaten | 2011-12 | producten
Probabilistic Computational Tree Logic
Pim Heesterbeek
Talen en automaten 2011-12
14:55 B |
Beschrijving
Zie bestand voor een korte case study over Probabilistic Computational Tree Logic.
Regulier?
Zie bestand.
Contextvrij?
Zie bestand.