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 contributionpeer-review

8 Citations (Scopus)

Abstract

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)
Pages351
Number of pages1
ISBN (Print)0769514081
DOIs
Publication statusPublished - Dec 2001
Externally publishedYes
Event8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China
Duration: 4 Dec 20017 Dec 2001

Other

Other8th Asia Pacific Software Engineering Conference APSEC'2001
CountryChina
CityMacao
Period4/12/017/12/01

Fingerprint

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

Cite this