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

Project Identification
FRVS/3202/2005/G6
Project Period
1/2005 - 12/2005
Investor / Pogramme / Project type
Ministry of Education, Youth and Sports of the CR
MU Faculty or unit
Faculty of Informatics

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é.

You are running an old browser version. We recommend updating your browser to its latest version.

More info