Cost analysis of games, using program logic

Carroll Morgan; Annabelle McIver

doi:10.1109/APSEC.2001.991501

Cost analysis of games, using program logic

Carroll Morgan^*, Annabelle McIver

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

9 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 language	English
Title of host publication	Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Place of Publication	Piscataway, N.J.
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	351
Number of pages	1
ISBN (Print)	0769514081
DOIs	https://doi.org/10.1109/APSEC.2001.991501
Publication status	Published - Dec 2001
Externally published	Yes
Event	8th Asia Pacific Software Engineering Conference APSEC'2001 - Macao, China Duration: 4 Dec 2001 → 7 Dec 2001

Other

Other	8th Asia Pacific Software Engineering Conference APSEC'2001
Country/Territory	China
City	Macao
Period	4/12/01 → 7/12/01

Access to Document

10.1109/APSEC.2001.991501

Cite this

@inproceedings{106acc05f4d449c28a0f19bfc151aff3,

title = "Cost analysis of games, using program logic",

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.",

author = "Carroll Morgan and Annabelle McIver",

year = "2001",

month = dec,

doi = "10.1109/APSEC.2001.991501",

language = "English",

isbn = "0769514081",

pages = "351",

booktitle = "Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "8th Asia Pacific Software Engineering Conference APSEC'2001 ; Conference date: 04-12-2001 Through 07-12-2001",

}

Morgan, C & McIver, A 2001, Cost analysis of games, using program logic. in Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC., 991501, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, N.J., pp. 351, 8th Asia Pacific Software Engineering Conference APSEC'2001, Macao, China, 4/12/01. https://doi.org/10.1109/APSEC.2001.991501

Cost analysis of games, using program logic. / Morgan, Carroll; McIver, Annabelle.
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE), 2001. p. 351 991501.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Cost analysis of games, using program logic

AU - Morgan, Carroll

AU - McIver, Annabelle

PY - 2001/12

Y1 - 2001/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0035695479&partnerID=8YFLogxK

U2 - 10.1109/APSEC.2001.991501

DO - 10.1109/APSEC.2001.991501

M3 - Conference proceeding contribution

AN - SCOPUS:0035695479

SN - 0769514081

SP - 351

BT - Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, N.J.

T2 - 8th Asia Pacific Software Engineering Conference APSEC'2001

Y2 - 4 December 2001 through 7 December 2001

ER -

Cost analysis of games, using program logic

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this