DMCA

Verification and Control of Partially Observable Probabilistic Real-Time Systems

by Gethin Norman , David Parker , Xueyi Zou