# Technical Reports

## A List by Author: Vojtěch Forejt

- e-mail:
- xforejt(a)fi.muni.cz
- home page:
- http://www.fi.muni.cz/~xforejt/

### Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

by *
Tomáš Brázdil,
Václav Brožek,
Krishnendu Chatterjee,
Vojtěch Forejt,
Antonín Kučera,
* A full version of the paper presented at conference LICS 2011. April 2011, 32 pages.

**FIMU-RS-2011-02.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We study Markov decision processes (MDPs) with multiple

### Continuous-Time Stochastic Games with Time-Bounded Reachability

by *
Tomáš Brázdil,
Vojtěch Forejt,
Jan Krčál,
Jan Křetínský,
Antonín Kučera,
* A full version of the paper presented at FST&TCS 2009. October 2009, 46 pages.

**FIMU-RS-2009-09.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We study continuous-time stochastic games with

### Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

by *
Tomáš Brázdil,
Vojtěch Forejt,
Antonín Kučera,
* A full version of the paper presented at ICALP 2008. December 2008, 48 pages.

**FIMU-RS-2008-05.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We show that controller synthesis and verification problems for

### The Satisfiability Problem for Probabilistic CTL

by *
Tomáš Brázdil,
Vojtěch Forejt,
Jan Křetínský,
Antonín Kučera,
* A full version of the paper presented at LICS 2008. June 2008, 34 pages.

**FIMU-RS-2008-03.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We study the satisfiability problem for qualitative PCTL

### Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

by *
Tomáš Brázdil,
Vojtěch Forejt,
* A full version of the paper presented at CONCUR 2007 July 2007, 28 pages.

**FIMU-RS-2007-03.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We consider a class of finite

### Stochastic Games with Branching-Time Winning Objectives

by *
Tomáš Brázdil,
Václav Brožek,
Vojtěch Forejt,
Antonín Kučera,
* A full version of the paper presented at LICS 2006. September 2006, 37 pages.

**FIMU-RS-2006-02.**
Available as *Postscript*,
**PDF**.

#### Abstract:

We consider stochastic turn-based games where the
*highly undecidable*, even

Responsible contact: unixfimunicz