×

zbMATH — the first resource for mathematics

Forejt, Vojtěch

Compute Distance To:
Author ID: forejt.vojtech Recent zbMATH articles by "Forejt, Vojtěch"
Published as: Forejt, Vojtěch; Forejt, Vojtech
Documents Indexed: 34 Publications since 2006

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 115 times in 70 Documents Cited by Year
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Reachability in recursive Markov decision processes. Zbl 1145.91011
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
10
2008
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
7
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
7
2012
Markov decision processes with multiple long-run average objectives. Zbl 1326.90101
Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
5
2014
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
5
2013
Trading performance for stability in Markov decision processes. Zbl 1366.68087
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
4
2013
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
4
2013
Continuous-time stochastic games with time-bounded reachability. Zbl 1264.91016
Brázdil, Tomáš; Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan; Kučera, Antonín
4
2013
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Reachability in stochastic timed games. Zbl 1248.91014
Bouyer, Patricia; Forejt, Vojtěch
2
2009
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives. Zbl 1155.68427
Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín
2
2008
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2010
Trading performance for stability in Markov decision processes. Zbl 1359.90147
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
2
2017
Branching-time model-checking of probabilistic pushdown automata. Zbl 1347.68220
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch
2
2009
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Continuous-time stochastic games with time-bounded reachability. Zbl 1250.91015
Brázdil, Tomáš; Forejt, Vojtech; Krčál, Jan; Křetínský, Jan; Kučera, Antonin
2
2009
Branching-time model-checking of probabilistic pushdown automata. Zbl 1311.68084
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
1
2014
Reachability in recursive Markov decision processes. Zbl 1151.68509
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
1
2006
Strategy synthesis for Markov decision processes and branching-time logics. Zbl 1151.68472
Brázdil, Tomáš; Forejt, Vojtěch
1
2007
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
Model checking probabilistic systems. Zbl 1392.68227
Baier, Christel; de Alfaro, Luca; Forejt, Vojtěch; Kwiatkowska, Marta
3
2018
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
1
2018
Trading performance for stability in Markov decision processes. Zbl 1359.90147
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
2
2017
Expected reachability-time games. Zbl 1339.68146
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2016
Permissive controller synthesis for probabilistic systems. Zbl 1391.68076
Dräger, Klaus; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
1
2015
Verification of Markov decision processes using learning algorithms. Zbl 1448.68290
Brázdil, Tomáš; Chatterjee, Krishnendu; Chmelík, Martin; Forejt, Vojtěch; Křetínský, Jan; Kwiatkowska, Marta; Parker, David; Ujma, Mateusz
7
2014
Markov decision processes with multiple long-run average objectives. Zbl 1326.90101
Brázdil, Tomáš; Brožek, Václav; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
5
2014
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2014
Branching-time model-checking of probabilistic pushdown automata. Zbl 1311.68084
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
1
2014
PRISM-games: a model checker for stochastic multi-player games. Zbl 1381.68151
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
10
2013
Automatic verification of competitive stochastic systems. Zbl 1291.68252
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
7
2013
On stochastic games with multiple objectives. Zbl 1400.91040
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Wiltsche, Clemens
5
2013
Trading performance for stability in Markov decision processes. Zbl 1366.68087
Brázdil, Tomáš; Chatterjee, Krishnendu; Forejt, Vojtěch; Kučera, Antonín
4
2013
Multi-objective discounted reward verification in graphs and MDPs. Zbl 1406.68051
Chatterjee, Krishnendu; Forejt, Vojtěch; Wojtczak, Dominik
4
2013
Continuous-time stochastic games with time-bounded reachability. Zbl 1264.91016
Brázdil, Tomáš; Forejt, Vojtěch; Krčál, Jan; Křetínský, Jan; Kučera, Antonín
4
2013
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
Pareto curves for probabilistic model checking. Zbl 1374.68285
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David
7
2012
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
Automatic verification of competitive stochastic systems. Zbl 1352.68150
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis
2
2012
Playing stochastic games precisely. Zbl 1364.91024
Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Simaitis, Aistis; Trivedi, Ashutosh; Ummels, Michael
2
2012
Quantitative multi-objective verification for probabilistic systems. Zbl 1315.68177
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Qu, Hongyang
21
2011
Expected reachability-time games. Zbl 1290.68073
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh
2
2010
Reachability in stochastic timed games. Zbl 1248.91014
Bouyer, Patricia; Forejt, Vojtěch
2
2009
Branching-time model-checking of probabilistic pushdown automata. Zbl 1347.68220
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch
2
2009
Continuous-time stochastic games with time-bounded reachability. Zbl 1250.91015
Brázdil, Tomáš; Forejt, Vojtech; Krčál, Jan; Křetínský, Jan; Kučera, Antonin
2
2009
Reachability in recursive Markov decision processes. Zbl 1145.91011
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
10
2008
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives. Zbl 1155.68427
Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín
2
2008
Strategy synthesis for Markov decision processes and branching-time logics. Zbl 1151.68472
Brázdil, Tomáš; Forejt, Vojtěch
1
2007
Reachability in recursive Markov decision processes. Zbl 1151.68509
Brázdil, Tomáš; Brožek, Václav; Forejt, Vojtěch; Kučera, Antonín
1
2006
all top 5

Cited by 149 Authors

9 Kwiatkowska, Marta Z.
8 Forejt, Vojtěch
7 Brázdil, Tomáš
7 Kucera, Antonin
6 Chatterjee, Krishnendu
5 Brožek, Václav
5 Etessami, Kousha
5 Norman, Gethin
4 Baier, Christel
4 Katoen, Joost-Pieter
4 Yannakakis, Mihalis
3 Chen, Taolue
3 Junges, Sebastian
3 Kiefer, Stefan
3 Randour, Mickael
3 Stewart, Alistair
3 Zhang, Lijun
2 Brihaye, Thomas
2 Hartmanns, Arnd
2 Henzinger, Thomas A.
2 Jamroga, Wojciech
2 Jančar, Petr
2 Jobstmann, Barbara
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Monmege, Benjamin
2 Qu, Hongyang
2 Raskin, Jean-François
2 Schewe, Sven
2 Simaitis, Aistis
2 Worrell, James B.
2 Wunderlich, Sascha
1 Aichernig, Bernhard K.
1 Aslanyan, Zaruhi
1 Baghoolizadeh, Shirin
1 Basin, David A.
1 Basset, Nicolas
1 Bauer, Matthew Steven
1 Becker, Bernd
1 Benouhiba, Toufik
1 Bersani, Marcello Maria
1 Bloem, Roderick
1 Braitling, Bettina
1 Bruyère, Véronique
1 Buchholz, Peter
1 Chadha, Rohit
1 Cremers, Cas J. F.
1 Cubuktepe, Murat
1 Daca, Przemysław
1 D’Argenio, Pedro Rubén
1 de Alfaro, Luca
1 Dehnert, Christian
1 Delgrange, Florent
1 Dohndorf, Iryna
1 Dubslaff, Clemens
1 Esparza, Javier
1 Fearnley, John
1 Feng, Yuan
1 Ferrer Fioriti, Luis María
1 Filiot, Emmanuel
1 Fraser, Douglas
1 Frenkel, S. L.
1 Fu, Hongfei
1 Gebler, Daniel E.
1 Geeraerts, Gilles
1 Giaquinta, Ruben
1 Giro, Sergio
1 Größer, Marcus
1 Guan, Yong
1 Gutierrez, Julian
1 Haddad, Axel
1 Haddad, Serge
1 Hahn, Ernst Moritz
1 Harrenstein, Paul
1 Hashemi, Vahid
1 Hatefi, Hassan
1 Hermanns, Holger
1 Hlaing, Swe Zin
1 Hoffmann, Ruth
1 Huang, Mingzhang
1 Ireland, Murray
1 Jansen, David N.
1 Jansen, Nils
1 Jovanović, Aleksandra Ž.
1 Konidaris, George D.
1 Konikowska, Beata
1 Kooi, Barteld Pieter
1 Křetínský, Jan
1 Krömer, Oliver
1 Kurpiewski, Damian
1 Legay, Axel
1 Li, Xiaojuan
1 Li, Yanjun
1 Lin, Liyong
1 Majidi, Negin
1 Malvone, Vadim
1 Mathur, Umang
1 Meadows, Catherine A.
1 Menghi, Claudio
1 Miller, Alice Ann
...and 49 more Authors

Citations by Year