Marta Kwiatkowska
University of Oxford
435 Papers
3.4K Citations
Marta Kwiatkowska is an academic researcher from University of Oxford. The author has contributed to research in topics: Probabilistic logic & Computer science. The author has an hindex of 67, co-authored 399 publications. Previous affiliations of Marta Kwiatkowska include Microsoft & University of Leicester.
Chat about Author
Papers
•Journal Article
On reduction criteria for probabilistic reward models
TL;DR: In this article, partial order reduction is adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviours, and reduction criteria are presented for a branching time logic that allows specification of constraints on quantitative measures given by a reward or cost function for the actions of the system.
10
Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps
Chang Hwan Peter Kim,Daniel Kroening,Marta Kwiatkowska +2 more
- 01 Sep 2016
TL;DR: A novel static optimization technique for eliminating drawing commands to produce energy-efficient apps is proposed and savings up to 44% of the total energy consumption of the device are indicated.
Expected reachability-time games
Vojtěch Forejt,Marta Kwiatkowska,Gethin Norman,Ashutosh Trivedi +3 more
- 08 Sep 2010
TL;DR: Using the boundary region graph abstraction, and a generalisation of Asarin and Maler's simple function, it is shown that the decision problems related to computing the upper/lower values of concurrent ERTGs, and computing the value of turn-based ERTs are decidable and their complexity is in NEXPTIME ∩ co-NexPTIME.
Verification of linear duration properties over continuous-time markov chains
TL;DR: This work studies the problem of verifying continuous-time Markov Chains (CTMCs) against Linear Duration Properties (LDP), that is, properties stated as conjunctions of linear constraints over the total duration of time spent in states that satisfy a given property.
10
Strategic Analysis of Trust Models for User-Centric Networks
Marta Kwiatkowska,David Parker,Aistis Simaitis +2 more
- 01 Jan 2013
TL;DR: In this article, the authors present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behavior in user-centric networks based on a combination of reputation and virtual currency schemes in which service providers reward paying customers and punish non-paying ones by adjusting their reputation.