Automated Game-Theoretic Verification of Security Systems

Research output

Research output per year 2014 2014 2015 2017 2017

• 2 Article
• 1 Conference contribution
• 1 Other chapter contribution
• 1 Chapter (peer-reviewed)

Research output per year

Research output per year

Search results

• 2017

  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 Access

  File

  • Model 100%
  • Controller 96%
  • Computer Security 85%
  • Partially Observable Markov Decision Process 83%
  • Probabilistic Logic 74%
  23 Citations (Scopus)

  155 Downloads (Pure)
• 2015

  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 Access

  File

  • Controller 100%
  • Synthesis 94%
  • Controllers 56%
  • Strategy 42%
  • Penalty 28%
  8 Citations (Scopus)

  135 Downloads (Pure)