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/2013
- Project Period
- 1/2013 - 12/2013
- Investor / Pogramme / Project type
-
Masaryk University
- Internal projects of the Faculty of Informatics
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Vladimír Bužek, DrSc.
- RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
- Prof. Jiří Srba, Ph.D.
- prof. Mgr. Tomáš Tyc, Ph.D.
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 na základě dohody o pracovní činnosti, případně dohody o provedení práce, rozsah prací je specifikován individuálně.
Publications
Total number of publications: 5
2013
-
Automatic Verification of Competitive Stochastic Systems
Formal Methods in System Design, year: 2013, volume: 43, edition: 1, DOI
-
Multi-objective Discounted Reward Verification in Graphs and MDPs
Logic for Programming, Artificial Intelligence, and Reasoning, year: 2013
-
On Stochastic Games with Multiple Objectives
Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), year: 2013
-
PRISM-games: A model checker for stochastic multi-player games
TACAS 2013, year: 2013
-
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, year: 2013