4 citations · 16 across the 15 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.PL2010
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Alessandra Di Pierro, Gethin Norman
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is…
cs.GT2010★ 1 cited
Quantitative Games on Probabilistic Timed Automata
Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the controller, wh…