Vojtěch Forejt - Concepedia

Author

Vojtěch Forejt

University of Oxford ORCID

Also Known As

Forejt, V, Forejt, Vojt\v{e}ch, Forejt, Vojtech, Forejt, Vojtěch, V. Forejt, Vojtech Forejt, Vojtěch Forejt

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

University of Oxford Masaryk University Institute of Science and Technology Austria University of Birmingham Indian Institute of Technology Bombay

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	402
2	Computer Science	10	10	377
3	Business	7	7	185
4	Finance	2	2	45
5	Computer Engineering	1	1	19

Vojtěch Forejt

Publications

544

Citations

H-Index

Page 1

	Year	Citations
Automatic verification of competitive stochastic systems Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, Formal Methods in System Design Stochastic Hybrid SystemEngineeringStochastic SystemVerificationProbabilistic Verification	2013	131
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee, arXiv (Cornell University)	2011	45
Markov Decision Processes with Multiple Long-run Average Objectives Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee, Logical Methods in Computer Science	2014	44
The Satisfiability Problem for Probabilistic CTL Tomǎš Brázdil, Vojtěch Forejt, Jan Křetínský, Theory Of ComputingProbabilistic VerificationQuantitative PctlEngineeringAutomated Reasoning	2008	43
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tomas Br ́zdil, Václav Brožek, Krishnendu Chatterjee, Mathematical ProgrammingEngineeringGame TheoryMarkov Decision ProcessesOperations Research	2011	41
Stochastic Games with Branching-Time Winning Objectives Tomǎš Brázdil, V. Bro zek, Vojtěch Forejt, Stochastic Turn-based GamesEngineeringWinning ObjectivesBranching-time Logic PctlStochastic Game	2006	40
Reachability in recursive Markov decision processes Tomǎš Brázdil, Václav Brožek, Vojtěch Forejt, Information and Computation Reachability AnalysisEngineeringReachability ProblemAutomated ReasoningComputational Complexity	2008	32
Continuous-Time Stochastic Games with Time-Bounded Reachability Tomǎš Brázdil, Vojtěch Forejt, Jan Krčál, DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2009	29
Permissive Controller Synthesis for Probabilistic Systems Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska, Logical Methods in Computer Science EngineeringGame TheoryProbabilistic ComputationFormal VerificationStochastic Game	2015	29
Trading performance for stability in Markov decision processes Tomǎš Brázdil, Krishnendu Chatterjee, Vojtěch Forejt, Journal of Computer and System Sciences Mathematical ProgrammingEngineeringMean PayoffOperations ResearchAsset Pricing	2016	25

Page 1