Informace o projektu

Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky (PVT-VVPZ)

Kód projektu
MUNI/33/IP1/2012
Období řešení
1/2012 - 12/2012
Investor/Program
Masarykova univerzita
Programový rámec / typ projektu
Interní projekty FI
Fakulta/Pracoviště MU
Fakulta informatiky

Hlavním záměrem projektu je podpora rozvoje perspektivních výzkumných týmů na Fakultě informatiky a podpora spolupráce s vynikajícími vědeckými pracovníky aktivně působícími zejména v zahraničí, kteří se současně významným způsobem podílejí na řešení vědeckých úkolů Fakulty informatiky. Důraz je kladen na ty výzkumné směry, které se pohybují na hranici informatiky a jiných vědních disciplín, resp. mají přesah a uplatnění v jiných oborech. Podpora perspektivních výzkumných týmů Fakulty je zaměřena na stabilizaci personálního obsazení týmů ve vazbě na přechod na nové zdroje financování. Podpora vynikajících vědeckých pracovníků působících mimo Fakultu informatiky si klade za cíl udržet stávající a případně získat nové odborníky z jiných institucí, kteří se aktivně zapojují do řešení výzkumných úkolů Fakulty informatiky. Tito pracovníci jsou zpravidla financováni za základě dohody o pracovní činnosti, případně dohody o provedení práce, rozsah prací je specifikován individuálně.

Publikace

2013

Incremental Runtime Verification of Probabilistic Systems

FOREJT Vojtěch — KWIATKOWSKA Marta — PARKER David — QU Hongyang — UJMA Mateusz

2012

Automatic Verification of Competitive Stochastic Systems

CHEN Taolue — FOREJT Vojtěch — KWIATKOWSKA Marta — PARKER Dave — SIMAITIS Aistis

Bisimilarity of Probabilistic Pushdown Automata

FOREJT VojtěchJANČAR Petr — KIEFER Stefan — WORRELL James

Pareto Curves for Probabilistic Model Checking

FOREJT Vojtěch — KWIATKOWSKA Marta — PARKER David

Playing Stochastic Games Precisely

CHEN Taolue — FOREJT Vojtěch — KWIATKOWSKA Marta — SIMAITIS Aistis — TRIVEDI Ashutosh — UMMELS Michael

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

Další info