Edinburgh Research Explorer

Efficient Checking of Individual Rewards Properties in Markov Population Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://qapl15.inria.fr/program.html
http://forthcoming.eptcs.org/
Original languageEnglish
Title of host publicationProceedings for the 13th Workshop on Quantitative Aspects of Programming Languages
Number of pages16
Publication statusPublished - 2015
EventWorkshop on Quantitative Analysis of Programming Languages 2015 - London, United Kingdom
Duration: 11 Apr 201512 Apr 2015

Conference

ConferenceWorkshop on Quantitative Analysis of Programming Languages 2015
CountryUnited Kingdom
CityLondon
Period11/04/1512/04/15

Abstract

In recent years fluid approaches to the analysis of Markov populations models have been demonstrated to have great pragmatic value. Initially developed to estimate the behaviour of the system in terms of the expected values of population counts, the fluid approach has subsequently been extended to more sophisticated interrogations of models through its embedding within model checking procedures. In this paper we extend recent work on checking CSL properties of individual agents within a Markovian population model, to consider the checking of properties which incorporate rewards.

Event

Workshop on Quantitative Analysis of Programming Languages 2015

11/04/1512/04/15

London, United Kingdom

Event: Conference

Download statistics

No data available

ID: 19352662