Cost analysis of games, using program logic

Carroll Morgan*, Annabelle McIver

*Corresponding author for this work

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

8 Citations (Scopus)


The connection with Markov decision processes (MDPs) is addressed. The coding of MDPs is explained as quantitative μ-formulae. Following this, the latte in incorporate rewards is discussed. Finally, the resulting reformulation of several existence theorems is illustrated.

Original languageEnglish
Title of host publicationProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Place of PublicationPiscataway, N.J.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages1
ISBN (Print)0769514081
Publication statusPublished - Dec 2001
Externally publishedYes
Event8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China
Duration: 4 Dec 20017 Dec 2001


Other8th Asia Pacific Software Engineering Conference APSEC'2001

Fingerprint Dive into the research topics of 'Cost analysis of games, using program logic'. Together they form a unique fingerprint.

Cite this