Informace o projektu
Ověřování vlastností nekonečně-stavových pravděpodobnostních systémů

Kód projektu
FRVS/3202/2005/G6
Období řešení
1/2005 - 12/2005
Investor / Programový rámec / typ projektu
Ministerstvo školství, mládeže a tělovýchovy ČR
Fakulta / Pracoviště MU
Fakulta informatiky

Cílem projektu je výzkum problémů týkajících se nekonečně-stavových pravděpodobnostních systémů, především otázek rozhodnutelnosti a algoritmické složitosti. Doposud zkoumané pravděpodobnostní systémy byly pouze konečně-stavové, avšak řada reálných systémů používá struktury s neomezenou velikostí. Projekt si klade za cíl posunout možnosti formální verifikace na nekonečně-stavové pravděpodobnostní systémy, což vyžaduje řešení těžkých kombinatorických problémů z oblasti Markovových řetězců a nekonečných grafů. V mnoha případech nelze adaptovat existující metody a přístupy a je třeba hledat nové.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info