University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Vojtech Forejt : Publications

By dateBy titleBy typeBibtex

[1]

Automatic Verification of Competitive Stochastic Systems

Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis

No. RR−11−11. DCS. 2011.

Details | BibTeX | Download  (pdf)

[2]

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS

Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma

No. RR−12−05. DCS. 2012.

Details | BibTeX | Download  (pdf)

[3]

PLAYING STOCHASTIC GAMES PRECISELY

Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels

No. RR−12−03. 2012.

Details | BibTeX | Download  (pdf)