Verification and control of partially observable probabilistic real-time systems

Gethin Norman, David Parker, Xueyi Zou

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

5 Citations (Scopus)

1 results

Filter

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