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 / Pogramme / Project type
Masaryk University
MU Faculty or unit
Faculty of Informatics

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ěch — JANČ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