Computer Science Technical Report - CSR-06-5: Game-based Abstraction for Markov Decision Processes

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Working paper/PreprintWorking paper

Original languageEnglish
Publication statusPublished - 1 Jan 2006

Cite this