Verification and control of partially observable probabilistic systems

Gethin Norman, David Parker, Xueyi Zou

Computer Science

Research output: Contribution to journal › Article › peer-review

23 Citations (Scopus)

155 Downloads (Pure)

1 results

Finished
Automated Game-Theoretic Verification of Security Systems
Parker, D.
Engineering & Physical Science Research Council
4/11/13 → 31/10/14
Project: Research Councils