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