Informace o publikaci
Stochastic Game Logic
| Název česky | Logika pro náhodnostní hry |
|---|---|
| Autoři | |
| Rok publikování | 2007 |
| Druh | Článek ve sborníku |
| Konference | Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | stochastic systems; temporal logic; model checking |
| Popis | Logika pro stochastické hry (SGL) je nová temporální logika, která kombinuje vlastnosti laternující temporální logiky, logiky PCTL, a rozšířené temporální logiky. V článku je zavedena syntaxe a sémantika SGL a rozebrána výpočetní složitost problému ověření platnosti SGL formule v konkrétní struktuře. |
| Související projekty: |