DMCA

Game-based abstraction for markov decision processes (2006)

by Marta Kwiatkowska , Gethin Norman , David Parker
Venue:In Proc. of QEST: Quantitative Evaluation of Systems
Citations:53 - 15 self