dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marta Z. Kwiatkowska (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels: Playing Stochastic Games Precisely. CONCUR 2012: 348-363
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, David Parker: Pareto Curves for Probabilistic Model Checking CoRR abs/1206.6295: (2012)
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Expected Reachability-Time Games. FORMATS 2010: 122-136

Selection of 6 from 149 records - Marta Z. Kwiatkowska has 120 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page