Research output per year
Research output per year
Project Details
| Short title | Automated Game-Theoretic Verification of Security Systems |
|---|---|
| Status | Finished |
| Effective start/end date | 4/11/13 → 31/10/14 |
| Links | http://www.cs.bham.ac.uk/~parkerdx/projects/epsrc-gamesec/ |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
-
Verification and control of partially observable probabilistic systems
Norman, G., Parker, D. & Zou, X., May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile23 Citations (Scopus)155 Downloads (Pure) -
Permissive Controller Synthesis for Probabilistic Systems
Drager, K., Forejt, V., Kwiatkowska, M., Parker, D. & Ujma, M., 30 Jun 2015, In: Logical Methods in Computer Science. 11, 12, 16.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Citations (Scopus)135 Downloads (Pure) -
Verification and control of partially observable probabilistic real-time systems
Norman, G., Parker, D. & Zou, X., 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
5 Citations (Scopus)