Project information

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)

Project Identification
MUNI/33/IP1/2012
Project Period
1/2012 - 12/2012
Investor
Masaryk University
Programme / Project Type
Internal projects of the Faculty of Informatics
MU Faculty/Unit
Faculty of Informatics

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

Publications

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

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

More info