Marta Kwiatkowska : Publications
Technical reports
|
[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. |
|
[2] |
Efficient Probabilistic Parameter Synthesis for Adaptive Systems Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu No. RR−13−04. DCS. 2013. |
|
[3] |
An Algebraic Theory of Interface Automata Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. RR−13−02. DCS. 2013. |
|
[4] |
A Compositional Specification Theory for Component Behaviours Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska No. CS−RR−12−01. DCS. 2012. |
|
[5] |
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker‚ Hongyang Qu and Mateusz Ujma No. RR−12−05. DCS. 2012. |
|
[6] |
Revisiting Timed Specification Theories: A Linear−Time Perspective Chris Chilton‚ Marta Kwiatkowska and Xu Wang No. CS−RR−12−04. DCS. 2012. |
|
[7] |
PLAYING STOCHASTIC GAMES PRECISELY Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis‚ Ashutosh Trivedi and Michael Ummels No. RR−12−03. 2012. |
|
[8] |
Automatic Verification of Competitive Stochastic Systems Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis No. RR−11−11. DCS. 2011. |