Oxford logo

Vojtěch Forejt's Publications

If you have any questions related to any of my publications, please do not hesitate and send me an e-mail (see my homepage for contact details).

41 publications:






  • [CFK+12b] T. Chen, V. Forejt, M. Kwiatkowska, A. Simaitis, A. Trivedi and M. Ummels. Playing Stochastic Games Precisely. In Proc. 23rd International Conference on Concurrency Theory (CONCUR'12), volume 7454 of LNCS, pages 348-363, Springer. 2012. [pdf] [bib]
  • [FKP12] V. Forejt, M. Kwiatkowska and D. Parker. Pareto Curves for Probabilistic Model Checking. In Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), volume 7561 of LNCS, pages 317-332, Springer. 2012. [pdf] [bib]
  • [FJKW12] V. Forejt, P. Jančar, S.Kiefer and J. Worrell. Bisimilarity of Probabilistic Pushdown Automata. In Deepak D'Souza, Telikepalli Kavitha and Jaikumar Radhakrishnan (editors), IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, volume 18 of LIPIcs, pages 448-460, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 2012. [pdf] [bib]
  • [FKP+12] V. Forejt, M. Kwiatkowska, D. Parker, H. Qu and M. Ujma. Incremental Runtime Verification of Probabilistic Systems. In S. Qadeer and S. Tasiran (editors), Proc. 3rd International Conference on Runtime Verification (RV'12), volume 7687 of LNCS, pages 314-319, Springer. September 2012. [pdf] [bib]
  • [CFK+12] T. Chen, V. Forejt, M. Kwiatkowska, D. Parker and A. Simaitis. Automatic Verification of Competitive Stochastic Systems. In Proc. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), volume 7214 of LNCS, pages 315-330, Springer. March 2012. [pdf] [bib]



  • [FKNT10a] V. Forejt, M. Kwiatkowska, G. Norman and A. Trivedi. Expected Reachability-Time Games. In K. Chatterjee and T. Henzinger (editors), Proeedings of 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), volume 6246 of LNCS, pages 122--136, Springer. September 2010. [pdf] [bib]


  • [BFK+09] T. Brázdil, V. Forejt, J. Krčál, J. Křetínský and A. Kučera. Continuous-Time Stochastic Games with Time-Bounded Reachability. In Proc. 29th Int. Conf. Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09), volume 4 of LIPIcs, pages 61-72, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. 2009. [pdf] [bib]
  • [BF09a] P. Bouyer and V. Forejt. Reachability in Stochastic Timed Games. In S. Albers, A. Marchetti-Spaccamela, Y. Matias, S. E. Nikoletseas and W. Thomas (editors), Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II, volume 5556 of Lecture Notes in Computer Science, pages 103-114, Springer. 2009. [pdf] [bib]
  • [BBF09] T. Brázdil, V. Brožek and V. Forejt. Branching-Time Model-Checking of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science, 239, pages 73-83, Elsevier Science Publishers. 2009. [pdf] [bib]