Concepedia

Vojtěch Forejt

VF

15

Publications

544

Citations

13

H-Index

2006

Active since

Affiliations

University of Oxford(Current)

Masaryk University

Institute of Science and Technology Austria

University of Birmingham

Indian Institute of Technology Bombay

Vojtěch Forejt is an author at University of Oxford specializing in engineering, computer science, and probability theory.

Top concepts

EngineeringComputer ScienceBusinessGame TheoryProbabilitySystems EngineeringFormal MethodsMechanism DesignGamesAutomated Reasoning

Publications per year

2006–2016

15

Publications

15

Automatic verification of competitive stochastic systems

Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska et al. · Formal Methods in System Design · 2013 · 131 citations

Stochastic Hybrid System, Engineering, Stochastic System +7

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

Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee et al. · arXiv (Cornell University) · 2011 · 45 citations · Full text

Markov Decision Processes with Multiple Long-run Average Objectives

Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee et al. · Logical Methods in Computer Science · 2014 · 44 citations · Full text

The Satisfiability Problem for Probabilistic CTL

Tomǎš Brázdil, Vojtěch Forejt, Jan Křetínský et al. · 2008 · 43 citations

Theory Of Computing, Probabilistic Verification, Quantitative Pctl +15

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

Tomas Br ́zdil, Václav Brožek, Krishnendu Chatterjee et al. · 2011 · 41 citations

Mathematical Programming, Engineering, Game Theory +16

Rows per page

1–5 of 15