A model-checking approach to decision-theoretic planning with non-Markovian rewards

Citation

Thiebaux, S, Kabanza, F & Slaney, J 2002, 'A model-checking approach to decision-theoretic planning with non-Markovian rewards', European Conference on Artificial Intelligence: Workshop on Model Checking and Artificial Intelligence, ed. M. Benerecetti, Conference Organising Committee, Lyon, France, pp. 101-108.

Year

2002

Field of Research

  • Artificial Intelligence And Image Processing Not Elsewhere Classified

Updated:  08 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers