io-port.net

io-port 05955729 Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan

Qualitative reachability in stochastic BPA games. (English)

Inf. Comput. 209, No. 8, 1160-1183 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05923143 Brázdil, Tomás; Brozek, Václav; Etessami, Kousha; Kucera, Antonín

Approximating the termination value of one-counter mdps and stochastic games. (English)

Comput. Res. Repos. 2011, Article No. 1104.4978 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05922960 Brázdil, Tomás; Brozek, Václav; Chatterjee, Krishnendu; Forejt, Vojtech; Kucera, Antonín

Two views on multiple mean-payoff objectives in Markov decision processes. (English)

Comput. Res. Repos. 2011, Article No. 1104.3489 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05918156 Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha; Kučera, Antonín

Approximating the termination value of one-counter MDPs and stochastic games. (English)

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4‒8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 332-343 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05894350 Brozek, Václav

Optimal strategies in infinite-state stochastic reachability games. (English)

Comput. Res. Repos. 2011, Article No. 1103.1065 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70212079 Brázdil, Tomás; Brozek, Václav; Etessami, Kousha; Kucera, Antonín

Approximating the termination value of one-counter mdps and stochastic games (English)

ICALP (2), 332-343 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70802630 Brázdil, Tomás; Brozek, Václav; Chatterjee, Krishnendu; Forejt, Vojtech; Kucera, Antonín

Two views on multiple mean-payoff objectives in Markov decision processes (English)

LICS, 33-42 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06073524 Brázdil, Tomáš; Brožek, Václav; Etessami, Kousha

One-counter stochastic games. (English)

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15‒18, 2010, Chennai, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPICS ‒ Leibniz International Proceedings in Informatics 8, 108-119, electronic only (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 05754864 Brázdil, Tomás; Brozek, Václav; Kucera, Antonín; Obdrzálek, Jan

Qualitative reachability in stochastic BPA games. (English)

Comput. Res. Repos. 2010, Article No. 1003.0118 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70088838 Brázdil, Tomás; Brozek, Václav; Etessami, Kousha; Kucera, Antonín; Wojtczak, Dominik

One-counter Markov decision processes (English)

SODA, 863-874 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70960627 Brázdil, Tomás; Brozek, Václav; Etessami, Kousha

One-counter stochastic games (English)

FSTTCS, 108-119 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06027217 Brázdil, Tomáš; Brožek, Václav; Kučera, Antonín; Obdržálek, Jan

Qualitative reachability in stochastic BPA games. (English)

Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26‒28, 2009. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPICS ‒ Leibniz International Proceedings in Informatics 3, 207-218, electronic only (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 05750231 Brázdil, Tomás; Brozek, Václav; Etessami, Kousha; Kucera, Antonín; Wojtczak, Dominik

One-counter Markov decision processes. (English)

Comput. Res. Repos. 2009, Article No. 0904.2511 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05749176 Brozek, Václav

Regularity in PDA games revisited. (English)

Electron. Notes Theor. Comput. Sci. 251, 5-16 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05749009 Brázdil, Tomás; Brozek, Václav; Forejt, Vojtech

Branching-time model-checking of probabilistic pushdown automata. (English)

Electron. Notes Theor. Comput. Sci. 239, 73-83 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70319249 Brázdil, Tomás; Brozek, Václav; Kucera, Antonín; Obdrzálek, Jan

Qualitative reachability in stochastic BPA games (English)

STACS, 207-218 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05498345 Brázdil, Tomáš; Brožek, Václav; Holeček, Jan; Kučera, Antonín

Discounted properties of probabilistic pushdown automata. (English)

Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22‒27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 230-242 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05276410 Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín

Reachability in recursive Markov decision processes. (English)

Inf. Comput. 206, No. 5, 520-537 (2008).

Reviewer: Giacomo Bonanno (Davis)

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70210772 Brázdil, Tomás; Brozek, Václav; Holecek, Jan; Kucera, Antonín

Discounted properties of probabilistic pushdown automata (English)

LPAR, 230-242 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05187252 Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín

Reachability in recursive Markov decision processes. (English)

Baier, Christel (ed.) et al., CONCUR 2006 ‒ concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27‒30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 358-374 (2006).

20

PDF XML AMS-TeX TEXT BIBTeX DOI