Our research Our people Site map Privacy & Cookies About us Contact us

Follow us on twitter

Flickr

Delicious

Stumble Upon

Vojtěch Forejt : Publications

By dateBy title By type Bibtex

[1]	On Stochastic Games with Multiple Objectives Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche No. RR−13−06. DCS. 2013. 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)

[4]	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)